New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update CI configuration #772

Merged

yallop merged 3 commits into master from update-ci

May 18, 2024

Owner

yallop commented May 18, 2024

avoid duplicate CI runs by restricting push triggering to the master branch
add configuration for OCaml 5.2
update the actions/checkout action to version 4

yallop added 3 commits

May 18, 2024 13:45


          Update push-triggered CI to only run when target branch is master.

77631de


          Add CI configuration for OCaml 5.2.

fcc90e6


          Update CI to use actions/checkout@v4 (from @v2)

2fc36c5

yallop merged commit 2e2788b into master

16 of 17 checks passed

yallop deleted the update-ci branch

May 18, 2024 13:03

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet