Print the environment a second time

This commit is contained in:
Chris Denton 2025-02-10 15:06:41 +00:00
parent 5573cd320c
commit ec8ec41d9e
No known key found for this signature in database
GPG key ID: 713472F2F45627DE

View file

@ -173,6 +173,11 @@ jobs:
- name: ensure the stable version number is correct
run: src/ci/scripts/verify-stable-version-number.sh
# Show the environment just before we run the build
# This makes it easier to diagnose problems with the above install scripts.
- name: show the current environment
run: src/ci/scripts/dump-environment.sh
- name: run the build
# Redirect stderr to stdout to avoid reordering the two streams in the GHA logs.
run: src/ci/scripts/run-build-from-ci.sh 2>&1