run push CI only on main branch (#1343)

currently, ci runs twice for people pushing directly to this repository (e.g. https://git.deuxfleurs.fr/Deuxfleurs/garage/pulls/1340, you can see both woodpecker/{pr,pull}/debug)
that's a waste of resources, we'll do twice exactly the same thing.
i propose we only run push ci on `main-*` branches, so that creating a PR doesn't create two jobs

Reviewed-on: https://git.deuxfleurs.fr/Deuxfleurs/garage/pulls/1343
Co-authored-by: trinity-1686a <trinity@deuxfleurs.fr>
Co-committed-by: trinity-1686a <trinity@deuxfleurs.fr>
This commit is contained in:
trinity-1686a
2026-02-15 08:57:52 +00:00
committed by Alex
parent c73268fd77
commit c373222e3a
+8 -7
View File
@@ -2,13 +2,14 @@ labels:
nix: "enabled" nix: "enabled"
when: when:
event: - event:
- push - tag
- tag - pull_request
- pull_request - deployment
- deployment - cron
- cron - manual
- manual - event: push
branch: main-*
steps: steps:
- name: check formatting - name: check formatting