On Sat, Jun 22, 2019 at 6:34 PM Eric Gourgoulhon <egourgoul...@gmail.com> wrote: > > Le samedi 22 juin 2019 16:02:36 UTC+2, Julian Rüth a écrit : >> >> There shouldn't be a problem with using the latest 8.8rc in binder. >> >> On Saturday, June 22, 2019 at 1:54:26 PM UTC+2, Eric Gourgoulhon wrote: >>> >>> [...] It would be nice if 8.8 is released by then. Otherwise, I will of >>> course warn the audience that these features are not available yet (in >>> particular, they will not work in Binder demos). >> >> >> The rcs (and all the betas) have corresponding docker images on >> https://hub.docker.com/r/sagemath/sagemath/tags. If that's what you are >> using for binder, then there shouldn't be a problem. > > > This is good news! Thanks (I naively thought that the docker images were > built only for stable releases...)
They are built for *most* beta and rc tags as well. I write "most" because there are still some infrastructure problems such that not all builds are always passing, and we don't have anyone formally "on call" to check them. I need to figure out some way that I, for example, can be notified when a tag build fails. It's also possible it can fail just due to a bug or build problem that happened to escape the build bots (as such the docker builds are acting as another builtbot, which is good, but it means some betas in particular might not get built...) -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAOTD34bEYCf6hkZV9%3DJAuihcyVws5S-o3VO56vsBER0AzQFJGw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
