Skip to content

build(deps): bump RedPRL/actions-ocaml from 1 to 2#7

Merged
favonia merged 2 commits intomainfrom dependabot/github_actions/RedPRL/actions-ocaml-2Apr 30, 2022

Commits

Commits on Apr 29, 2022