wip

rjbou · Jan 29, 2025 · 959ac2d · 959ac2d
1 parent b3e73f5
commit 959ac2d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/scripts/main/preamble.sh b/.github/scripts/main/preamble.sh
@@ -45,7 +45,7 @@ fi
 
 # used only for TEST jobs
 init-bootstrap () {
-  if [ "$OPAM_TEST" = "1" ] || [ "$OPAM_DOC" = "1" ] || [ -n "$SOLVER" ]; then
+  if [ "$OPAM_TEST" = "1" ] || [ "$OPAM_DOC" = "1" ] || [ "$OPAM_DEPENDS" = "1" ] || [ -n "$SOLVER" ]; then
     set -e
     export OPAMROOT=$OPAMBSROOT
     # The system compiler will be picked up