59860bcc24
Before this commit, we didn't print *_example.log files and test_suite.log. Printing is now handled in a separate action, which avoids code duplication and makes the ci.yml file more readable. This changes the folding/grouping of the log output in the GitHub Actions CI, but I think the new variant is as good as the old one. Furthermore, the condition for printing the logs is changed from "always()" to "!cancelled()". This ensures that logs will still be printed if previous steps such as the CI script failed, but that they won't be printed if the entire run is cancelled (e.g., by clicking a button in the UI or through a force-push to the PR). This is in line with a recommendation in the GHA docs: https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/evaluate-expressions-in-workflows-and-actions#always
35 lines
702 B
YAML
35 lines
702 B
YAML
name: "Print logs"
|
|
description: "Print the log files produced by ci/ci.sh"
|
|
runs:
|
|
using: "composite"
|
|
steps:
|
|
- shell: bash
|
|
run: |
|
|
# Print the log files produced by ci/ci.sh
|
|
|
|
# Helper functions
|
|
group() {
|
|
title=$1
|
|
echo "::group::$title"
|
|
}
|
|
endgroup() {
|
|
echo "::endgroup::"
|
|
}
|
|
cat_file() {
|
|
file=$1
|
|
group "$file"
|
|
cat "$file"
|
|
endgroup
|
|
}
|
|
|
|
# Print all *.log files
|
|
shopt -s nullglob
|
|
for file in *.log; do
|
|
cat_file "$file"
|
|
done
|
|
|
|
# Print environment
|
|
group "CI env"
|
|
env
|
|
endgroup
|