Update build.yml

TheoWinterhalter · May 24, 2024 · 9fe8a82 · 9fe8a82
1 parent 498d950
commit 9fe8a82
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -16,7 +16,6 @@ jobs:
 
     env:
       coq_version: '8.18'
-      ocaml_version: '4.14-flambda'
       fail-fast: true
 
     steps: