treewide: more github runners + naive concurrency

This commit is contained in:
Nikodem Rabuliński 2024-02-10 23:36:06 +01:00
parent 2954a3f535
commit d36e9ba0f9
18 changed files with 101 additions and 63 deletions

Binary file not shown.