diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 59a031bb..3cf63081 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -11,6 +11,9 @@ jobs: steps: - uses: actions/checkout@main + # needed for depext to work + - run: sudo apt-get update && sudo apt-get install mccs + - uses: ocaml/setup-ocaml@v2 with: ocaml-compiler: '5.1.x'