it would be good to make sure that sage 9.3 will have a correct docker image.But since recently (9.3.b9), the gitlab setting seems no longer to work.
--
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+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/e20bd760-f1ba-49e5-992a-3a3ddd4258b5n%40googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/20210822200422.GA9900%40metelu.net.