Submit GHA system failures

r-universe-org · Aug 5, 2024 · b21fde6 · b21fde6
1 parent cd90b2a
commit b21fde6
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/entrypoint.sh b/entrypoint.sh
@@ -17,6 +17,13 @@ ls -lR
 #   echo "::endgroup::"
 # }
 
+# Submit system failures as well, such that they get retried
+if [ ! -d "package-source" ]; then
+echo "No source package exists? Could be a systsem failure in GitHub Actions."
+TARGET=failure /deploy.sh
+exit 1
+fi
+
 # Upload source first
 mv package-source package-00source