We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents e8f5def + d9080a2 commit dd0274dCopy full SHA for dd0274d
.github/workflows/update.yml
@@ -19,10 +19,10 @@ jobs:
19
run: ./update-pytorch.sh
20
21
- name: Commit Push
22
- continue-on-error: true
23
env:
24
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
25
run: |
+ git diff-index --quiet HEAD && exit 0 # commit only if something to do
26
git config --local user.email "[email protected]"
27
git config --local user.name "Update CI"
28
git add -A
0 commit comments