chore: CI

This commit is contained in:
Simon Cruanes 2022-04-16 23:04:43 -04:00
parent 34f76e926c
commit 522772356f
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 2 additions and 2 deletions

View file

@ -26,7 +26,7 @@ jobs:
runs-on: ${{ matrix.os }} runs-on: ${{ matrix.os }}
steps: steps:
- uses: actions/checkout@v2 - uses: actions/checkout@main
- name: Use OCaml ${{ matrix.ocaml-compiler }} - name: Use OCaml ${{ matrix.ocaml-compiler }}
uses: ocaml/setup-ocaml@v2 uses: ocaml/setup-ocaml@v2
with: with:

View file

@ -24,7 +24,7 @@ jobs:
runs-on: ${{ matrix.os }} runs-on: ${{ matrix.os }}
steps: steps:
- uses: actions/checkout@v2 - uses: actions/checkout@main
- name: Use OCaml ${{ matrix.ocaml-compiler }} - name: Use OCaml ${{ matrix.ocaml-compiler }}
uses: ocaml/setup-ocaml@v2 uses: ocaml/setup-ocaml@v2
with: with: