Commit dca5f08e by Ralf Jung

Step being verbose when the CI preparation script is done

parent 4dc44dae
Pipeline #6726 passed with stages
in 27 minutes 34 seconds
......@@ -63,5 +63,6 @@ echo "[opam-ci] Installing build-dependencies"
make build-dep OPAMFLAGS=-y
# done
set +x
echo
coqc -v
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment