Compare commits

..

No commits in common. "a778384d5674d8a1335ef11aaed7891a403e4fe1" and "d8b094bcbd65a3ca51d5f40fb3be9183ce7d8a22" have entirely different histories.

1 changed files with 2 additions and 5 deletions

View File

@ -28,9 +28,6 @@ jobs:
with:
ref: "builds"
path: "builds"
- name: Clean old builds
run: rm $GITHUB_WORKSPACE/builds/*.cs3
- name: Setup JDK 11
uses: actions/setup-java@v1
@ -54,5 +51,5 @@ jobs:
git config --local user.email "actions@github.com"
git config --local user.name "GitHub Actions"
git add .
git commit --amend -m "Build $GITHUB_SHA" || exit 0 # do not error if nothing to commit
git push --force
git commit -m "Build $GITHUB_SHA" || exit 0 # do not error if nothing to commit
git push