diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5a373f3..8702e6b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,8 +1,12 @@ name: ci on: - - pull_request - - push + push: + branches: + - main + pull_request: + branches: + - "**" # This will match pull requests targeting any branch jobs: build: @@ -33,8 +37,8 @@ jobs: opam-repositories: | default: https://github.com/ocaml/opam-repository.git mbarbin: https://github.com/mbarbin/opam-repository.git -# janestreet-bleeding: https://github.com/janestreet/opam-repository.git -# janestreet-bleeding-external: https://github.com/janestreet/opam-repository.git#external-packages + # janestreet-bleeding: https://github.com/janestreet/opam-repository.git + # janestreet-bleeding-external: https://github.com/janestreet/opam-repository.git#external-packages - name: Install dependencies run: opam install . --deps-only --with-doc --with-test --with-dev-setup