Remove outdated comment

apalache-mc · Jun 20, 2023 · 59b2115 · 59b2115
1 parent 02ddc40
commit 59b2115
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -121,7 +121,6 @@ jobs:
       # Allows other OS tests to proceed even if one fails
       fail-fast: false
       matrix:
-        # Pinned to maxos-10 as temp workaround for https://github.com/cachix/install-nix-action/issues/96
         operating-system: [ubuntu-latest, macos-latest]
         smt-encoding: [oopsla19, arrays]
         exclude: