wip

rjbou · Jan 29, 2025 · b2d570b · b2d570b
1 parent 896fb08
commit b2d570b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/scripts/main/preamble.sh b/.github/scripts/main/preamble.sh
@@ -19,6 +19,7 @@ PATH=$OPAM_LOCAL/bin:$OCAML_LOCAL/bin:$PATH; export PATH
 OPAM_COLD=${OPAM_COLD:-0}
 OPAM_TEST=${OPAM_TEST:-0}
 OPAM_DOC=${OPAM_DOC:-0}
+OPAM_DEPENDS=${OPAM_DEPENDS:-0}
 OPAM_UPGRADE=${OPAM_UPGRADE:-0}
 
 OPAM_REPO_MAIN=https://github.com/ocaml/opam-repository.git