Allow CI triggered by branches containing / [ci skip]

latex3 · Oct 23, 2023 · e0cedee · e0cedee
1 parent f7ccd31
commit e0cedee
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/deploy.yaml b/.github/workflows/deploy.yaml
@@ -1,6 +1,6 @@
 name: Create release
 
-# We create releases for all new tags
+# We create releases for all new tags that don't contain '/' in their names
 on:
   push:
     tags:

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -5,7 +5,7 @@ on:
   # Whenever someone pushes to a branch in our repo
   push:
     branches:
-      - "*"
+      - "**"
   # Whenever a pull request is opened, reopened or gets new commits.
   pull_request:
 # This implies that for every push to a local branch in our repo for which a