Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
GH workflows: reduce runners to ubuntu-latest
...to check if the build gets scheduled by GitHub Actions
- Loading branch information