fix CI

CoqHott · Sep 4, 2023 · 3b6e50e · 3b6e50e
1 parent 33c2816
commit 3b6e50e
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -28,6 +28,9 @@ jobs:
           submodules: true
           fetch-depth: 1
 
+      - name: Setup Graphviz
+        uses: ts-graphviz/setup-graphviz@v1
+
       - name: Docker-Coq-Action
         uses: coq-community/docker-coq-action@v1
         with:
@@ -47,7 +50,6 @@ jobs:
             startGroup "Build project"
               opam exec -- make -j 2
               opam exec -- make coqdoc
-              opam exec -- make depgraph
             endGroup
           uninstall: |
             startGroup "Clean project"
@@ -58,6 +60,9 @@ jobs:
         if: ${{ always() }}
         run: sudo chown -R 1001:116 .  # <--
 
+      - name: Build depgraph
+        run: opam exec -- make depgraph
+
       - name: Build doc overview
         uses: docker://pandoc/core:2.9
         with: