Geza Lore 23fc08bdf9 CI: swap order of platforms ... GitHub Actions starts the jobs earlier in the list first. This change has the effect of starting the few longer running jobs (those on ubuntu 20.04) first.		2021-06-13 22:45:57 +01:00
..
build.yml	CI: swap order of platforms	2021-06-13 22:45:57 +01:00
contributor.yml	CI: Add separate contributors action (#2689)	2020-12-10 18:12:26 -05:00
coverage.yml	CI: fix error in coverage workflow file	2021-06-13 03:16:58 +01:00
format.yml	CI: Change name and commit message of formatting job	2021-06-09 22:45:25 +01:00