From 6455ca3c8ed7231ea401cd3b4f81e908231d5f36 Mon Sep 17 00:00:00 2001
From: Yannick Forster <yannick.forster@inria.fr>
Date: Wed, 1 Nov 2023 13:00:40 +0100
Subject: [PATCH] disable quick target in CI - it is not quicker

---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0c54ab5d6..0909d048f 100644
--- 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: