build: ignore pr checking name for release

Signed-off-by: Simon Paitrault <[email protected]>
topos-protocol · Mar 19, 2024 · a775699 · a775699
1 parent 642203c
commit a775699
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/pr-checking.yml b/.github/workflows/pr-checking.yml
@@ -15,6 +15,9 @@ jobs:
       - uses: amannn/action-semantic-pull-request@v5
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        with:
+          ignoreLabels: |
+            release
 
   commits:
     name: Validate PR commits