Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: Specify Ubuntu version explicitly
So that it does not update from underneath us
- Loading branch information