fix CI

CoqHott · Sep 4, 2023 · 2fae405 · 2fae405
1 parent 33c2816
commit 2fae405
Showing 1 changed file with 3 additions and 0 deletions.
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: