tmp: run opam job in lite CI

ejgallego · Nov 9, 2023 · 688771b · 688771b
1 parent 112743b
commit 688771b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -235,7 +235,7 @@ before_script:
     - opam pin add --kind=path coqide.dev .
   variables:
     OPAM_VARIANT: "+flambda"
-  only: *full-ci
+  # only: *full-ci
 
 .nix-template:
   stage: build