Wolfgang WaltherandWolfgang Walther 31a3864f85 ci: Remove files from arm server immediately on non-release push ...

While this duplicates code a little bit, it makes it much simpler to refactor later on.

2024-02-22 20:12:18 +01:00

..

ci.yaml

ci: Remove files from arm server immediately on non-release push

2024-02-22 20:12:18 +01:00

docs.yaml

ci: Require docs job to pass before making a release

2024-02-22 20:12:18 +01:00

report.yaml

ci: Use if without ${{ }} where possible

2024-02-22 20:12:18 +01:00