fix x32 tests on Github CI

ubuntu-22.04 seems to have problems with x32 recently switching to ubuntu-20.04 which seems to work fine so far actions/runner-images#8397
facebook · Sep 28, 2023 · 2c17e05 · 2c17e05
1 parent 7b76236
commit 2c17e05
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/dev-short-tests.yml b/.github/workflows/dev-short-tests.yml
@@ -38,7 +38,7 @@ jobs:
         CFLAGS="-m32 -O1 -fstack-protector" make check V=1
 
   check-x32:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04  # ubuntu-latest == ubuntu-22.04 have issues currently with x32
     steps:
     - uses: actions/checkout@8ade135a41bc03ea155e62e844d188df1ea18608 # tag=v3
     - name: make check on x32 ABI # https://en.wikipedia.org/wiki/X32_ABI