Commit Graph

2 Commits

Author SHA1 Message Date
be7d9eed5f ci: Another round of tweaks 2022-02-11 16:40:01 +01:00
32f3efe7a8 ci: more CI tuning 2022-02-11 13:07:07 +01:00