Merge branch 'develop' into fix/hybrid_impossible_differential_model_…

…for_permutations
Crypto-TII · Feb 3, 2025 · 2513a2b · 2513a2b
2 parents ded3b1f + 44e80cd
commit 2513a2b
Showing 1 changed file with 6 additions and 12 deletions.
diff --git a/.github/workflows/block-pr-to-main-from-not-develop.yaml b/.github/workflows/block-pr-to-main-from-not-develop.yaml
@@ -10,19 +10,13 @@ on:
 jobs:
   block-pr-to-main-from-not-develop:
     runs-on: ubuntu-latest
-    if:
-      (
-      github.event.pull_request.head.ref  != 'develop' &&
-      github.event.pull_request.base.ref == 'main'
-      ) ||
-      (
-      github.event.pull_request.head.ref == 'main' &&
-      github.event.pull_request.base.ref == 'develop'
-      )
+    if: |
+      (github.event.pull_request.head.ref != 'develop' && github.event.pull_request.base.ref == 'main') ||
+      (github.event.pull_request.head.ref == 'main' && github.event.pull_request.base.ref == 'develop')
     steps:
       - name: Check branch name
         run: |
-          if [ $GITHUB_HEAD_REF != "develop" ]; then
-            echo "Pull request not allowed from branch $GITHUB_HEAD_REF to main."
+          if [ "${{ github.event.pull_request.head.ref }}" != "develop" ]; then
+            echo "Pull request not allowed from branch ${{ github.event.pull_request.head.ref }} to main."
             exit 1
-          fi
+          fi