Tim Ruffing ad3e65d9fe ci: Remove GCC build files and sage to reduce size of Docker image

2023-08-18 13:52:28 +01:00

..

ci.sh

ci: Rename cirrus.sh to more general ci.sh

2023-08-18 10:57:58 +01:00

linux-debian.Dockerfile

ci: Remove GCC build files and sage to reduce size of Docker image

2023-08-18 13:52:28 +01:00