diff options
Diffstat (limited to 'src/c-rbtree/.github/workflows/ci.yml')
| -rw-r--r-- | src/c-rbtree/.github/workflows/ci.yml | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/src/c-rbtree/.github/workflows/ci.yml b/src/c-rbtree/.github/workflows/ci.yml index 489433c2..ac00c843 100644 --- a/src/c-rbtree/.github/workflows/ci.yml +++ b/src/c-rbtree/.github/workflows/ci.yml @@ -1,10 +1,15 @@ -name: Continuous Integration +name: "Continuous Integration" on: - push: pull_request: - schedule: - - cron: '0 0 * * *' + push: + branches-ignore: ["pr/**"] + tags: ["**"] + workflow_dispatch: + +defaults: + run: + shell: "bash" jobs: ci-linux: |