diff options
| author |  Vincent Rischmann | 2022-08-06 01:41:01 +0200 |
|---|---|---|
| committer | Vincent Rischmann | 2022-08-06 01:46:36 +0200 |
| commit | fb66bf89b9ce365b5efe290be510501d45130e17 (patch) | |
| tree | da0940a763432df26b9c19d6c7e9ee11538f5b26 | |
| parent | ci: cache the zig cache files (diff) | |
| download | zig-sqlite-fb66bf89b9ce365b5efe290be510501d45130e17.tar.gz zig-sqlite-fb66bf89b9ce365b5efe290be510501d45130e17.tar.xz zig-sqlite-fb66bf89b9ce365b5efe290be510501d45130e17.zip | |
ci: only run the workflow on a push to master
With both `push` and `pull_request` a push to an open PR triggers two
redundant builds which we should avoid.
This should have minimal impact since I typically open a PR when working
on a feature.
| -rw-r--r-- | .github/workflows/main.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 601b14a..3f4d3c2 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml | |||
| @@ -3,6 +3,7 @@ name: CI | |||
| 3 | on: | 3 | on: |
| 4 | create: | 4 | create: |
| 5 | push: | 5 | push: |
| 6 | branches: master | ||
| 6 | pull_request: | 7 | pull_request: |
| 7 | schedule: | 8 | schedule: |
| 8 | - cron: "0 13 * * *" | 9 | - cron: "0 13 * * *" |