Publish updated data if only readme-machine fails

Casper-Guo · Aug 2, 2024 · 359422e · 359422e
1 parent 8b6f41e
commit 359422e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Automation/data-refresh.sh b/Automation/data-refresh.sh
@@ -18,6 +18,9 @@ handle_failure() {
     then
         # failure in making README graphics, withhold all graph updates only
         git restore Docs/visuals/*
+        git add .
+        git commit -m "Partial data refresh (no visualizations)" || true # ignore non-zero exit status when there's no diff on main
+        ./Automation/auto-push.exp -d 2>./Automation/auto-push.log
     fi
 
     # relaunch server