Hennadii Stepanov 87d35f30c0

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

This makes sense in the process of moving stuff to GitHub Actions.

2023-08-18 10:57:58 +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 Windows MSVC tasks from Cirrus CI

2023-08-17 10:13:38 +01:00