Revert "Use ubuntu version 20.04 in unit tests"

This reverts commit 22cc639.
apalache-mc · Sep 18, 2023 · 1270455 · 1270455
1 parent fda076c
commit 1270455
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -85,8 +85,7 @@ jobs:
       # Allows other OS tests to proceed even if one fails
       fail-fast: false
       matrix:
-        # Ubuntu version pinned as workaround for https://github.com/actions/runner-images/issues/6709
-        operating-system: [ubuntu-20.04, macos-latest]
+        operating-system: [ubuntu-latest, macos-latest]
     steps:
       - uses: actions/checkout@v2
       - name: Set up JDK 17