What is going on with CI? #31 12.26 [sagelib-10.5.beta1] [spkg-install] Successfully installed sagemath-standard-10.5b1 #31 12.26 [sagelib-10.5.beta1] ::endgroup:: #31 12.26 [sagelib-10.5.beta1] Moving package files from temporary location /sage/local/var/lib/sage/venv-python3.10/var/tmp/sage/build/sagelib-10.5.beta1/inst to /sage/local/var/lib/sage/venv-python3.10 #31 12.26 [sagelib-10.5.beta1] Package sagelib-10.5.beta1 has no test suite. #31 12.26 [sagelib-10.5.beta1] Deleting build directory /sage/local/var/lib/sage/venv-python3.10/var/tmp/sage/build/sagelib-10.5.beta1 #31 12.26 [sagelib-10.5.beta1] Finished installing sagelib-10.5.beta1 #31 12.26 [sagelib-10.5.beta1] real 0m13.860s user 0m9.170s sys 0m5.237s #31 12.26 [sagelib-10.5.beta1] Error: Selecting a different version of a package is no longer supported #31 12.26 [sagelib-10.5.beta1] Error: Selecting a different version of a package is no longer supported #31 12.26 make[5]: *** [Makefile:3577: sagelib-SAGE_VENV-no-deps] Error 1 #31 12.26 make[4]: *** [Makefile:3577: /sage/local/var/lib/sage/venv-python3.10/var/lib/sage/installed/sagelib-10.5.beta1] Error 2 #31 12.26 make[4]: Target 'all-sage' not remade because of errors. #31 12.26 make[3]: *** [Makefile:3052: all-build] Error 2 #31 12.26 make[3]: Leaving directory '/sage/build/make' #31 12.26 *************************************************************** #31 12.26 Error building Sage. #31 12.26 #31 12.26 The following package(s) may have failed to build (not necessarily #31 12.26 during this run of 'make all-build'): #31 12.26 #31 12.26 * package: sagelib-10.5.beta1 #31 12.26 last build time: Aug 10 22:43 #31 12.26 log file: /sage/logs/pkgs/sagelib-10.5.beta1.log
-- 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/9b3ce84f-1ce4-419c-86cf-9f793f344ec5n%40googlegroups.com.
