Skip to content

Merge pull request #5 from Khady/dependabot/github_actions/actions/de… #8

Merge pull request #5 from Khady/dependabot/github_actions/actions/de…

Merge pull request #5 from Khady/dependabot/github_actions/actions/de… #8

name: Opam Dependency Submission
on:
- push
- pull_request
jobs:
opam-dependency-submission:
runs-on: ubuntu-latest
steps:
- name: Checkout tree
uses: actions/checkout@v4
- name: Set-up OCaml 5.1
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: 5.1
dune-cache: true
allow-prerelease-opam: true
- name: Opam Dependency Submission
uses: ocaml/setup-ocaml/analysis@v2