add

runtimeverification · Oct 31, 2023 · 7d76439 · 7d76439
1 parent 88390d0
commit 7d76439
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -39,6 +39,7 @@ jobs:
         run: |
           cd homebrew-k
           echo "TEST" >> dummy
+          git add dummy
           git commit -m 'REVERT ME' dummy
           git push origin master