Update .github/workflows/main.yml

LPCIC · Dec 8, 2023 · d25bdb7 · d25bdb7
1 parent ef1c108
commit d25bdb7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -18,7 +18,6 @@ jobs:
         coq_version:
           - '8.18'
         ocaml_version:
-          - '4.11-flambda'
           - '4.14-flambda'
     steps:
     - uses: actions/checkout@v2