summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorStephan Seitz <stephan.seitz@fau.de>2021-01-20 21:28:14 +0100
committerThomas Vigouroux <tomvig38@gmail.com>2021-01-21 07:12:49 +0100
commit5ea3db83c61a6747a001edc69a90774a35d78912 (patch)
tree381c93bced96c22f3878b406449b4c502a515ff4 /.github
parent74b84a66d700257d9f6368768eea2bc6ca7205c7 (diff)
fix(CI): don't let update-parsers fail if no change is necessary
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/update-parsers-pr.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/update-parsers-pr.yml b/.github/workflows/update-parsers-pr.yml
index 3f4a3739..88935c81 100644
--- a/.github/workflows/update-parsers-pr.yml
+++ b/.github/workflows/update-parsers-pr.yml
@@ -40,7 +40,7 @@ jobs:
git config user.name "GitHub"
git config user.email "noreply@github.com"
git add lockfile.json
- git commit -m "Update lockfile.json"
+ git commit -m "Update lockfile.json" || echo 'No commit necessary!'
git clean -xf
- name: Create Pull Request