Restore mdbook-graphviz installation (model-checking#3136)

mdbook-graphviz has released 0.1.7, which has updated dependencies. Resolves: model-checking#3005
tautschnig · Apr 10, 2024 · 43475da · 43475da
1 parent 7cfc8f4
commit 43475da
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/scripts/setup/ubuntu/install_doc_deps.sh b/scripts/setup/ubuntu/install_doc_deps.sh
@@ -4,5 +4,5 @@
 
 set -eux
 
-# cargo install mdbook-graphviz
+cargo install mdbook-graphviz
 DEBIAN_FRONTEND=noninteractive sudo apt-get install --no-install-recommends --yes graphviz
diff --git a/tests/perf/s2n-quic b/tests/perf/s2n-quic