Giuseppe Lo Presti d0e1e5f3f5 CI: another minor update

2024-05-23 15:00:57 +02:00

..

ci-tests.yml

Revert "CI: try and use latest actions to get rid of deprecation warnings"

2024-05-23 14:59:32 +02:00

codeql.yml

CI: use checkout v4

2024-05-23 14:43:09 +02:00

release.yml

CI: another minor update

2024-05-23 15:00:57 +02:00