Merge branch 'DavidSM64:master' into make-2-jobs

This commit is contained in:
tonyspumoni
2022-10-24 11:18:23 -06:00
committed by GitHub
81 changed files with 1155 additions and 2434 deletions
-10
View File
@@ -63,13 +63,3 @@ jobs:
- name: Verify NON_EQUIVALENT
run: make -j4 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
branch: ${{ env.GITHUB_REF_NAME }}
github-token: ${{ secrets.GITHUB_TOKEN }}