Merge pull request #256 from tonyspumoni/score-updater

Add automatic score updater
This commit is contained in:
David Benepe
2022-10-22 06:57:33 -05:00
committed by GitHub
3 changed files with 37 additions and 2 deletions
+11 -1
View File
@@ -61,4 +61,14 @@ jobs:
run: make clean
- name: Verify NON_EQUIVALENT
run: make NON_EQUIVALENT=1
run: make NON_EQUIVALENT=1
- name: Update decomp score in README
run: ./score.sh --update-readme
- name: Update PR
uses: test-room-7/action-update-file@v1
with:
file-path: README.md
commit-msg: Update score in README
github-token: ${{ secrets.GITHUB_TOKEN }}