Skip to content

Update CI configuration#128

Open
bbc2 wants to merge 1 commit intomasterfrom
update-ci
Open

Update CI configuration#128
bbc2 wants to merge 1 commit intomasterfrom
update-ci

Conversation

@bbc2
Copy link
Copy Markdown
Member

@bbc2 bbc2 commented Feb 11, 2023

  • Update OCamlFormat (0.24.1)
  • Update OCaml version (5.x)
  • Switch to checkout@v3 to avoid a deprecation message.
  • Fix typo in CI variable

- Update OCamlFormat (0.24.1)
- Update OCaml version (5.x)
- Switch to `checkout@v3` to avoid a deprecation message.
- Fix typo in CI variable
@bbc2 bbc2 self-assigned this Feb 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant