fix CI

CoqHott · Sep 4, 2023 · af6b08f · af6b08f
1 parent 33c2816
commit af6b08f
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -47,7 +47,6 @@ jobs:
             startGroup "Build project"
               opam exec -- make -j 2
               opam exec -- make coqdoc
-              opam exec -- make depgraph
             endGroup
           uninstall: |
             startGroup "Clean project"
@@ -57,6 +56,11 @@ jobs:
         # to avoid a warning at cleanup time
         if: ${{ always() }}
         run: sudo chown -R 1001:116 .  # <--
+      - name: Install graphviz
+        uses: ts-graphviz/setup-graphviz@v1
+
+      - name: Build dependency graph
+        run: make depgraph
 
       - name: Build doc overview
         uses: docker://pandoc/core:2.9