Files
soci/scripts/ci
Vadim Zeitlin ea2912b0e1 Merge branch 'minor-ci-fixes'
Some minor improvements to the CI scripts, no real changes.
2021-07-10 11:51:50 +02:00
..
2021-07-10 11:49:07 +02:00