docker-images icon indicating copy to clipboard operation
docker-images copied to clipboard

Update patchbot images

Open saraedum opened this issue 6 years ago • 0 comments

The patchbot images stopped updating. Once https://trac.sagemath.org/ticket/24854 has been merged, it is probably easier to just install the patchbot into the sagemath/sagemath-dev:develop image and add instructions on how to use these to run a patchbot.

saraedum avatar May 21 '18 12:05 saraedum