Switch to Ubuntu 20.04 for tests to avoid Carbon issue

marcoeilers · Jan 27, 2023 · 4786416 · 4786416
1 parent 0a75b2d
commit 4786416
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -12,7 +12,7 @@ on:
 jobs:
   build:
 
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
     env:
       BOOGIE_EXE: "/home/runner/.dotnet/tools/boogie"
     steps: