chore(ci): pin to ubuntu 20.04 for older glibc compat

This commit is contained in:
Maxime Leroy 2024-06-08 10:16:04 +00:00
parent 0b744a0e24
commit a1ae013283

View File

@ -28,7 +28,7 @@ jobs:
fail-fast: false
matrix:
os:
- ubuntu-latest
- ubuntu-20.04
- windows-latest
sm_version:
@ -44,7 +44,7 @@ jobs:
- sm_version: "master"
sm_branch: "master"
- os: ubuntu-latest
- os: ubuntu-20.04
os_short: linux
- os: windows-latest