[drop] for testing only

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 9, 2024 · 14eecae · 14eecae
1 parent 0466872
commit 14eecae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -19,7 +19,7 @@ jobs:
     name: 'Theory Linter'
     runs-on: ubuntu-latest
     steps:
-    - uses: seL4/ci-actions/thylint@master
+    - uses: seL4/ci-actions/thylint@testing
       with:
         token: ${{ secrets.READ_TOKEN }}
         pr_num: ${{ github.event.pull_request.number }}