wip

rjbou · Jan 29, 2025 · f80d082 · f80d082
1 parent 1b92b96
commit f80d082
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/scripts/main/main.sh b/.github/scripts/main/main.sh
@@ -154,7 +154,7 @@ if [ "$OPAM_TEST" = "1" ]; then
   (set +x ; echo -en "::endgroup::opam-rt\r") 2>/dev/null
 fi
 
-if [ "OPAM_DEPENDS" = "1" ]; then
+if [ "$OPAM_DEPENDS" = "1" ]; then
   (set +x; echo -en "::group::depends\r") 2>/dev/null
   opam_admin_url="https://github.com/ocamlpro/opam-bundle"
   if [ ! -d $CACHE/opam-admin ]; then