You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I notice that it is rather hard to digest "debian-12-4.14_arm32_opam-2.1" and "debian-12-4.14_arm64_opam-2.1" -- since the most interesting part is not the Linux distribution in this case, but the platform. If you could do a minor tweak, and have "ARM32 OCaml 4.14.? opam 2.1 on Debian 12 GNU/Linux", that'd be amazing.
I understand that not always the platform is the most interesting bit, and sometimes your order (linux distribution first) makes sense. But especially for these non-standard platforms, they're important (as is e.g. if there's a builder using the experimental opam 2.2 -- which is its unique selling point). So, I don't propose to have the platform always in the front -- but I guess you get the idea and will (due to your enhanced knowledge on why a specific builder is enabled and used) know what the most important thing of each builder is (and put that in front).
Thanks a lot for reading! And for your free of charge service.
The text was updated successfully, but these errors were encountered:
Dear Madam or Sir,
I notice that it is rather hard to digest "debian-12-4.14_arm32_opam-2.1" and "debian-12-4.14_arm64_opam-2.1" -- since the most interesting part is not the Linux distribution in this case, but the platform. If you could do a minor tweak, and have "ARM32 OCaml 4.14.? opam 2.1 on Debian 12 GNU/Linux", that'd be amazing.
I understand that not always the platform is the most interesting bit, and sometimes your order (linux distribution first) makes sense. But especially for these non-standard platforms, they're important (as is e.g. if there's a builder using the experimental opam 2.2 -- which is its unique selling point). So, I don't propose to have the platform always in the front -- but I guess you get the idea and will (due to your enhanced knowledge on why a specific builder is enabled and used) know what the most important thing of each builder is (and put that in front).
Thanks a lot for reading! And for your free of charge service.
The text was updated successfully, but these errors were encountered: