tweak again

JuliaAI · Jan 9, 2024 · 0794ad5 · 0794ad5
1 parent 1a6b21c
commit 0794ad5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/check_registry.yml b/.github/workflows/check_registry.yml
@@ -5,7 +5,7 @@ on:
       - master
 jobs:
   check_registry:
-    if: (${{ github.head_ref }} == "dev") #&& (${{ github.repository }} == ${{ github.event.pull_request.head.repo.full_name }})
+    # if: (${{ github.head_ref }} == "dev") && (${{ github.repository }} == ${{ github.event.pull_request.head.repo.full_name }})
     runs-on: ${{ matrix.os }}
     strategy:
       fail-fast: false