From 14eecae4d08497f9c26f3fb6ab868436ec9c5aff Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Tue, 9 Jul 2024 17:40:52 +1000
Subject: [PATCH] [drop] for testing only

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 .github/workflows/lint.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 69069b636b..4aa89fc8d5 100644
--- 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 }}