Files
soci/.github/workflows
Vadim Zeitlin fbd8a955b6 Reorder the CI jobs in decreasing run-time order
This should decrease the total run-time (the specifics are not clear,
but later jobs are launched later than the first ones).
2021-03-19 01:23:19 +01:00
..