in #24655 I am working on docker images of Sage. One thing I am trying to 
achieve is to make the images smaller than they currently are. (I am now at 
577MB with all doctests passing.)

I assume that the `micro_release` target of our Makefile is meant for that 
purpose: drop everything that is not essential to running Sage. But I am 
not sure, maybe somebody is using this in their workflow for some other 
purposes and if I change that target their workflow might break now? If you 
are currently relying on `micro_release`, please have a look at the 
proposed changed at https://gitlab.com/saraedum/sage/blob/ci/Makefile#L90 
and comment on #25655.


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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to