diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 8aa8dcf6a9..3c6a5f91b6 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -208,7 +208,7 @@ jobs: export FAILED=Yes fi echo "" # blank line so next block is interpreted as markdown - cat "$regr_test-core.log" + cat "$regr_test-core.log" || (echo "Dumping the whole log failed, please download it from GitHub actions. Here are the first 100 lines:" && head -n100 "$regr_test-core.log") echo "" echo "
" if python-jl scripts/checkModels.py \ @@ -225,7 +225,7 @@ jobs: export FAILED=Yes fi echo "" # blank line so next block is interpreted as markdown - cat "$regr_test-edge.log" + cat "$regr_test-edge.log" || (echo "Dumping the whole log failed, please download it from GitHub actions. Here are the first 100 lines:" && head -n100 "$regr_test-core.log") echo "
" # Check for Regression between Reference and Dynamic (skip superminimal)