diff --git a/.github/dependabot.yml b/.github/dependabot.yml new file mode 100644 index 0000000..8ac6b8c --- /dev/null +++ b/.github/dependabot.yml @@ -0,0 +1,6 @@ +version: 2 +updates: + - package-ecosystem: "github-actions" + directory: "/" + schedule: + interval: "monthly" diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 50f80f4..22deabc 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,8 +2,14 @@ name: ci on: push: + branches: + - main pull_request: + branches: + - main workflow_dispatch: + schedule: + - cron: "0 5 * * *" jobs: build: @@ -13,7 +19,7 @@ jobs: matrix: os: - ubuntu-latest - # - macos-latest + - macos-latest ocaml-compiler: - 5.2.x - 5.1.x