sage-on-gentoo-stage4 in docker/CI needs an update

sagemath / sage

Main repository of SageMath

https://www.sagemath.org

Other

1.37k stars 465 forks source link

sage-on-gentoo-stage4 in docker/CI needs an update #38154

Open dimpase opened 4 months ago

dimpase commented 4 months ago

Steps To Reproduce

This needs to move to another Docker provider

gentoo: BASE_IMAGE=sheerluck/sage-on-gentoo-stage4

It is not maintained any more, as @sheerluck mentioned to me

Environment

* Gentoo

Checklist

[X] I have searched the existing issues for a bug report that matches the one I want to file, without success.
[X] I have read the documentation and troubleshoot guide

dimpase commented 4 months ago

@orlitzky @kiwifb - I have no idea who else maintains Docker images for Sage.

@sheerluck cannot access Docker any more.

kiwifb commented 4 months ago

I did provide something to Matthias on a PR to include some Gentoo docker the other day, but I cannot find it. I do provide some Dockerfile to generate an image with some maintenance. But I do not push an image anywhere. https://github.com/cschwan/sage-on-gentoo/tree/master/tools/docker

kiwifb commented 4 months ago

And of course it is probably broken right now because of https://github.com/cschwan/sage-on-gentoo/issues/783 and I have asserted that the guilty party insert itself into the process of building the documentation via building the documentation depending on pyzmq which wants scikit-build-core has a build dependency (at least in recent version).

mkoeppe commented 4 months ago

I did provide something to Matthias on a PR to include some Gentoo docker the other day

That's #36995, hopefully we can get back to it soon