Merge pull request #2152 from GaloisInc/2057-remove-stray-ocaml

Remove stray reference to ocaml 4.09
GaloisInc · Nov 15, 2024 · 9f2ece3 · 9f2ece3
2 parents 6fd40d6 + 5ffce04
commit 9f2ece3
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -35,8 +35,6 @@ env:
   # ./s2nTests/docker/saw.dockerfile
   SOLVER_PKG_VERSION: "snapshot-20240212"
 
-  OCAML_VERSION: 4.09.x
-
 jobs:
   config:
     runs-on: ubuntu-22.04