remove "if: github.ref_type == 'tag'" from build.yml

leanprover-community · Jan 8, 2024 · f796981 · f796981
1 parent b18efa4
commit f796981
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -11,7 +11,6 @@ name: ci
 jobs:
   build:
     name: ${{ matrix.name }}
-    if: github.ref_type == 'tag'
     runs-on: ${{ matrix.os }}
     defaults:
       run: