From 359422eea35738b486bbe812344da85b149184be Mon Sep 17 00:00:00 2001 From: Casper Guo Date: Fri, 2 Aug 2024 19:30:26 +0800 Subject: [PATCH] Publish updated data if only readme-machine fails --- Automation/data-refresh.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Automation/data-refresh.sh b/Automation/data-refresh.sh index a28cf66..125a71a 100755 --- 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