remove update-score from VerifyPR and move update to different script

2026-06-19 01:16:26 -07:00 · 2022-10-24 11:09:40 -06:00
parent 0b2fa83a0a
commit 799db11ceb
3 changed files with 22 additions and 34 deletions
@@ -63,13 +63,3 @@ jobs:
    - name: Verify NON_EQUIVALENT
      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
-        branch: ${{ env.GITHUB_REF_NAME }}
-        github-token: ${{ secrets.GITHUB_TOKEN }}