Wolfgang Walther
fb24b6b37f
No need to spin up full VM runners for small automation tasks, when we can use single-CPU runners in containers instead. https://docs.github.com/en/actions/reference/runners/github-hosted-runners#single-cpu-runners (some of this will potentially not work, because dependencies in the slim image might not be available - however, it makes no sense to create this as a PR, because all jobs touched here run on branches only. Thus pushing directly to main)