Merge pull request #1384 from starkware-libs/elin/merge-main-v0.13.1-…

…into-main Elin/merge main v0.13.1 into main
starkware-libs · Jan 28, 2024 · 27aab6d · 27aab6d
2 parents 60029ee + 97c7e39
commit 27aab6d
Show file tree

Hide file tree

Showing 19 changed files with 726 additions and 229 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -32,7 +32,7 @@ jobs:
         run: commitlint --from ${{ github.event.pull_request.base.sha }} --to ${{ github.event.pull_request.head.sha }} --verbose
 
       - name: Validate PR title with commitlint
-        if: github.event_name != 'merge_group' && github.event_name != 'push'
+        if: github.event_name != 'merge_group' && github.event_name != 'push' && !(contains(github.event.pull_request.title, '/merge-main') || contains(github.event.pull_request.title, '/merge main'))
         run: echo "${{ github.event.pull_request.title }}" | commitlint --verbose
 
   format: