summary

johnhaddon · Aug 5, 2024 · 0b76de5 · 0b76de5
1 parent d151e95
commit 0b76de5
Showing 1 changed file with 9 additions and 5 deletions.
diff --git a/.github/workflows/versionCheck.yml b/.github/workflows/versionCheck.yml
@@ -44,12 +44,16 @@ jobs:
         sourceVersion = version()
 
         if sourceVersion != mergeVersion :
-          sys.stderr.write(
-            "ERROR : Source version {} does not match target version {}. Did you choose the wrong target branch?\n".format(
-              ".".join( str( v ) for v in sourceVersion ),
-              ".".join( str( v ) for v in mergeVersion )
-            )
+
+          message = "ERROR : Source version {} does not match target version {}. Did you choose the wrong target branch?\n".format(
+            ".".join( str( v ) for v in sourceVersion ),
+            ".".join( str( v ) for v in mergeVersion )
           )
+
+          sys.stderr.write( message )
+          with open( os.environ["GITHUB_STEP_SUMMARY"], "a" ) as summary :
+            summary.write( message )
+
           sys.exit( 1 )
 
       shell: python