Restore mdbook-graphviz installation #3005
Labels
[C] Internal
Tracks some internal work. I.e.: Users should not be affected.
Comments
tautschnig
added
the
[C] Internal
Merged
tautschnig
added a commit
to tautschnig/kani
that referenced
this issue
Apr 10, 2024
mdbook-graphviz has released 0.1.7, which has updated dependencies. Resolves: model-checking#3005
tautschnig
added a commit
that referenced
this issue
Apr 10, 2024
mdbook-graphviz has released 0.1.7, which has updated dependencies. Resolves: #3005
zpzigi754
pushed a commit
to zpzigi754/kani
that referenced
this issue
May 8, 2024
mdbook-graphviz has released 0.1.7, which has updated dependencies. Resolves: model-checking#3005
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Revert the change to
scripts/setup/ubuntu/install_doc_deps.shdone in #3004 once https://github.com/dylanowen/mdbook-graphviz has released a new version with consistent dependencies (their CI is also failing in dylanowen/mdbook-graphviz#106 and dylanowen/mdbook-graphviz#104).The text was updated successfully, but these errors were encountered: