Admin updates

andrewbaxter · Jun 2, 2024 · fa32e1f · fa32e1f
1 parent 78d500e
commit fa32e1f
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/copyright.yml b/.github/workflows/copyright.yml
@@ -6,6 +6,9 @@ jobs:
   confirm_agreement:
     runs-on: ubuntu-latest
     steps:
+      - uses: actions/checkout@v2
       - env:
           BODY: ${{ github.event.pull_request.body }}
-        run: grep -Fxq "$(cat .github/pull_request_template.md)" <(echo "$BODY")
+        run: |
+          set -xeu
+          grep -Fxq "$(cat .github/pull_request_template.md)" <(echo "$BODY")