chore: try to fix gh-pages CI action

This commit is contained in:
Simon Cruanes 2022-05-04 12:08:23 -04:00
parent e0715bd1a3
commit 6de3622a42
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -14,6 +14,10 @@ jobs:
with:
submodules: recursive
# needed for depext to work
- run: sudo apt-get update
if: ${{ matrix.os == 'ubuntu-latest' }}
- name: Use OCaml
uses: ocaml/setup-ocaml@v2
with: