Merge pull request #14 from CMUSTRUDEL/dev

ci: ignore gh-pages commit exit code in case there were no changes
CMUSTRUDEL · Jul 26, 2020 · c5c005a · c5c005a
2 parents ebdae2d + 9d6f680
commit c5c005a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -60,5 +60,5 @@ jobs:
           git config user.name "github-actions"
           git config user.email "[email protected]"
           git add .
-          git commit -m "github pages"
-          git push
+          # git commit will fail if there are no changes, thus ignore exit code
+          git commit -m "github pages" -a && git push || true