On Wednesday, May 8, 2024 at 6:51:49 PM UTC-7 Kwankyu Lee wrote: The command "tox -e update_docker_platforms" involves a change of the list of tested platforms. The change become effective when a beta release is made by the release manager, since the docker image files are created only at the release time. So there is no need to merge early the change to the develop branch.
On the other hand, is it an unnecessary friction that changes of the list of tested platforms go through the normal review process? Yes, that's part of the friction that I would like to eliminate. The function of merging such platform updates is to get the infrastructure in place that allows us to see whether the release is ready to be made. But for example the last platform update (https://github.com/sagemath/sage/pull/37351) missed the 10.3 release, taking 2 months to get merged. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/c1c8d875-37b0-44f1-8319-4f3e1bba9831n%40googlegroups.com.
