Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use Ubuntu 20.04 in Linux CI (#1371)
This makes sure we use an old enough version of glibc such that the prebuilt binaries work with current stable distributions (like Debian 11, or Ubuntu >= 20.04).
- Loading branch information