kani icon indicating copy to clipboard operation
kani copied to clipboard

Restore mdbook-graphviz installation

Open tautschnig opened this issue 2 years ago • 0 comments

Revert the change to scripts/setup/ubuntu/install_doc_deps.sh done in #3004 once https://github.com/dylanowen/mdbook-graphviz has released a new version with consistent dependencies (their CI is also failing in https://github.com/dylanowen/mdbook-graphviz/pull/106 and https://github.com/dylanowen/mdbook-graphviz/pull/104).

tautschnig avatar Feb 07 '24 17:02 tautschnig