Commit c3489f09 authored by Ralf Jung's avatar Ralf Jung
Browse files

print some more debug info

parent c3e83edd
......@@ -31,6 +31,7 @@ set -eo pipefail
## flags to coqdoc (particularly useful for --external).
status "[buildjob] Using CI branch $(cd ci && git rev-parse --abbrev-ref HEAD) ($(cd ci && git rev-parse HEAD))"
status "[buildjob] Pipeline source: $CI_PIPELINE_SOURCE; commit branch (empty for MRs): $CI_COMMIT_BRANCH"
Supports Markdown
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