revert

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