sudo apt-get install libev-dev

utensil · Apr 26, 2024 · c2c906e · c2c906e
1 parent 997a633
commit c2c906e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -49,6 +49,7 @@ jobs:
         uses: actions/configure-pages@v5
       - name: Install forester and build
         run: |
+          sudo apt-get install libev-dev
           brew install opam bubblewrap
           opam init --auto-setup --yes
           opam update --yes