wip: fix CI

This commit is contained in:
Simon Cruanes 2022-03-03 22:19:48 -05:00
parent 6a7164810b
commit f40320a059
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -25,6 +25,8 @@ jobs:
steps:
- name: Checkout code
uses: actions/checkout@v2
with:
submodules: recursive
- name: Use OCaml ${{ matrix.ocaml-compiler }}
uses: ocaml/setup-ocaml@v2