Merge pull request #34 from Certora/oz/ubuntu20

CERT-3805 | Add support for ubuntu 20
Certora · Oct 12, 2023 · d1a0289 · d1a0289
2 parents 88e145b + 571a8c3
commit d1a0289
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gambit.yml b/.github/workflows/gambit.yml
@@ -8,7 +8,7 @@ env:
 
 jobs:
   build-linux:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
     env:
       TAG: ${{ github.ref_name }}
     steps: