Only run CI on push to master, use pull_request for branches

Avoids duplicate CI runs when a branch has an open PR.
This commit is contained in:
Christian Semmler 2026-03-23 15:05:57 -07:00
parent 7e53901825
commit 5a60c07fbf
No known key found for this signature in database
GPG Key ID: 086DAA1360BEEE5C

View File

@ -1,9 +1,12 @@
name: CI
on: [push, pull_request]
on:
push:
branches: [master]
pull_request:
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs: