diff --git a/util/compare_gnu_result.py b/util/compare_gnu_result.py index 0c5e83c88..cfd33ea4c 100755 --- a/util/compare_gnu_result.py +++ b/util/compare_gnu_result.py @@ -29,4 +29,7 @@ print( # If results are worse fail the job to draw attention if pass_d < 0: + print( + f"::error ::PASS count is reduced from main: PASS {pass_d:+d} " + ) sys.exit(1)