diff options
Diffstat (limited to 'src/c-rbtree/.github')
| -rw-r--r-- | src/c-rbtree/.github/workflows/ci.yml | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/src/c-rbtree/.github/workflows/ci.yml b/src/c-rbtree/.github/workflows/ci.yml new file mode 100644 index 00000000..489433c2 --- /dev/null +++ b/src/c-rbtree/.github/workflows/ci.yml @@ -0,0 +1,41 @@ +name: Continuous Integration + +on: + push: + pull_request: + schedule: + - cron: '0 0 * * *' + +jobs: + ci-linux: + name: Linux CI + uses: bus1/cabuild/.github/workflows/ci-c-util.yml@v1 + with: + cabuild_ref: "v1" + linux: true + m32: true + matrixmode: true + valgrind: true + + ci-linux-ptrace: + name: Linux CI with PTrace + uses: bus1/cabuild/.github/workflows/ci-c-util.yml@v1 + with: + cabuild_ref: "v1" + linux: true + mesonargs: '-Dptrace=true' + + ci-macos: + name: MacOS CI + uses: bus1/cabuild/.github/workflows/ci-c-util.yml@v1 + with: + cabuild_ref: "v1" + linux: false + macos: true + + ci-docs: + name: Documentation CI + uses: bus1/cabuild/.github/workflows/ci-sphinx.yml@v1 + with: + meson: true + source: "./src/docs" |