disable quick target in CI - it is not quicker

MetaCoq · Nov 1, 2023 · 6455ca3 · 6455ca3
1 parent 018a348
commit 6455ca3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -27,7 +27,7 @@ jobs:
           - '8.17'
         ocaml_version:
           - '4.14-flambda'
-        target: [ local, opam, quick ]
+        target: [ local, opam ]
       fail-fast: true
 
     concurrency: