Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The release job was pinned to Ubuntu 20.04 to avoid glibc breakage in #7290. This PR updates the CI jobs to keep things consistent (it would sure be unpleasant if things worked in CI but not at release time).
- Loading branch information