Add automatic score updater

This commit is contained in:
Mike Grimes
2022-10-21 09:24:01 -06:00
parent db6a2b6556
commit 4afc3e4be9
3 changed files with 34 additions and 2 deletions
+11 -1
View File
@@ -63,4 +63,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 }}