[sage-devel] No sage 10.1 docker image?

Hi, Here https://github.com/sagemath/sage/pkgs/container/sage%2Fsage-ubuntu-focal-standard-with-targets there is 10.0. But there's no 10.1. What happened? -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop

[sage-devel] Re: No sage 10.1 docker image?

Broken by https://github.com/sagemath/sage/pull/36141 (see https://github.com/sagemath/sage/pull/36256#issuecomment-1718188227), fixed in https://github.com/sagemath/sage/pull/36256 On Thursday, September 14, 2023 at 12:43:29 AM UTC-7 Kwankyu Lee wrote: > Hi, > > Here > > > https://github.com/

[sage-devel] Re: No sage 10.1 docker image?

Thanks! On Friday, September 15, 2023 at 2:07:00 AM UTC+9 Matthias Koeppe wrote: > Broken by https://github.com/sagemath/sage/pull/36141 (see > https://github.com/sagemath/sage/pull/36256#issuecomment-1718188227), > fixed in https://github.com/sagemath/sage/pull/36256 > > On Thursday, September