diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index e7e0d4829..5195c7dd1 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -43,4 +43,5 @@ jobs:
         repo-token: "${{ secrets.GITHUB_TOKEN }}"
         title: 'File annotations for theory linter'
         input: './annotations.json'
+      continue-on-error: true
       if: always()