Skip to content

Commit

Permalink
Restore mdbook-graphviz installation
Browse files Browse the repository at this point in the history
mdbook-graphviz has released 0.1.7, which has updated dependencies.

Resolves: model-checking#3005
  • Loading branch information
tautschnig committed Apr 10, 2024
1 parent 7cfc8f4 commit 58701ce
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion scripts/setup/ubuntu/install_doc_deps.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion tests/perf/s2n-quic
Submodule s2n-quic updated 78 files
+0 −6 .github/config/typos.toml
+0 −19 .github/interop/required.json
+102 −102 .github/interop/runner.patch
+1 −1 .github/workflows/qns.yml
+1 −1 common/s2n-codec/Cargo.toml
+1 −1 examples/rustls-mtls/Cargo.toml
+83 −70 examples/rustls-mtls/src/lib.rs
+2 −2 quic/s2n-quic-core/Cargo.toml
+3 −3 quic/s2n-quic-core/src/endpoint/mod.rs
+2 −24 quic/s2n-quic-core/src/event/generated.rs
+7 −7 quic/s2n-quic-core/src/packet/stateless_reset.rs
+90 −2 quic/s2n-quic-core/src/path/mod.rs
+36 −313 quic/s2n-quic-core/src/path/mtu.rs
+0 −95 ...tu/snapshots/quic__s2n-quic-core__src__path__mtu__tests__events__on_packet_loss_initial_mtu_configured.snap
+21 −290 quic/s2n-quic-core/src/path/mtu/tests.rs
+3 −3 quic/s2n-quic-core/src/recovery/bbr/drain.rs
+6 −6 quic/s2n-quic-core/src/recovery/bbr/ecn.rs
+7 −7 quic/s2n-quic-core/src/recovery/bbr/full_pipe.rs
+28 −28 quic/s2n-quic-core/src/recovery/bbr/pacing.rs
+3 −3 quic/s2n-quic-core/src/recovery/bbr/probe_bw.rs
+5 −5 quic/s2n-quic-core/src/recovery/bbr/probe_rtt.rs
+7 −9 quic/s2n-quic-core/src/recovery/bbr/startup.rs
+37 −40 quic/s2n-quic-core/src/recovery/bbr/tests.rs
+3 −3 quic/s2n-quic-core/src/recovery/congestion_controller.rs
+3 −11 quic/s2n-quic-core/src/recovery/congestion_controller/fuzz_target.rs
+25 −53 quic/s2n-quic-core/src/recovery/pacing/tests.rs
+15 −15 quic/s2n-quic-core/src/recovery/simulation.rs
+3 −3 quic/s2n-quic-crypto/Cargo.toml
+0 −2 quic/s2n-quic-events/events/common.rs
+1 −5 quic/s2n-quic-events/events/platform.rs
+3 −3 quic/s2n-quic-platform/Cargo.toml
+11 −25 quic/s2n-quic-platform/src/io/testing.rs
+8 −25 quic/s2n-quic-platform/src/io/tokio.rs
+4 −66 quic/s2n-quic-platform/src/io/tokio/builder.rs
+2 −2 quic/s2n-quic-platform/src/io/tokio/tests.rs
+7 −11 quic/s2n-quic-platform/src/io/turmoil.rs
+3 −4 quic/s2n-quic-platform/src/io/turmoil/builder.rs
+1 −1 quic/s2n-quic-platform/src/io/turmoil/tests.rs
+4 −9 quic/s2n-quic-platform/src/io/xdp.rs
+11 −15 quic/s2n-quic-platform/src/io/xdp/builder.rs
+0 −2 quic/s2n-quic-qns/Cargo.toml
+2 −2 quic/s2n-quic-qns/etc/run_endpoint.sh
+0 −8 quic/s2n-quic-qns/src/io.rs
+54 −21 quic/s2n-quic-qns/src/tls.rs
+6 −6 quic/s2n-quic-rustls/Cargo.toml
+77 −44 quic/s2n-quic-rustls/src/certificate.rs
+19 −7 quic/s2n-quic-rustls/src/cipher_suite.rs
+24 −21 quic/s2n-quic-rustls/src/client.rs
+6 −1 quic/s2n-quic-rustls/src/error.rs
+51 −17 quic/s2n-quic-rustls/src/lib.rs
+25 −34 quic/s2n-quic-rustls/src/server.rs
+7 −6 quic/s2n-quic-rustls/src/session.rs
+3 −3 quic/s2n-quic-tls-default/Cargo.toml
+4 −4 quic/s2n-quic-tls/Cargo.toml
+3 −3 quic/s2n-quic-transport/Cargo.toml
+2 −2 quic/s2n-quic-transport/src/ack/ack_transmission_state.rs
+3 −3 quic/s2n-quic-transport/src/connection/close_sender.rs
+2 −2 quic/s2n-quic-transport/src/connection/connection_container/tests.rs
+4 −4 quic/s2n-quic-transport/src/connection/connection_impl.rs
+2 −2 quic/s2n-quic-transport/src/connection/connection_trait.rs
+4 −4 quic/s2n-quic-transport/src/connection/mod.rs
+24 −24 quic/s2n-quic-transport/src/connection/transmission.rs
+4 −5 quic/s2n-quic-transport/src/endpoint/initial.rs
+10 −11 quic/s2n-quic-transport/src/endpoint/mod.rs
+5 −5 quic/s2n-quic-transport/src/endpoint/packet_buffer.rs
+3 −3 quic/s2n-quic-transport/src/endpoint/retry.rs
+4 −4 quic/s2n-quic-transport/src/endpoint/stateless_reset.rs
+5 −5 quic/s2n-quic-transport/src/endpoint/version.rs
+8 −12 quic/s2n-quic-transport/src/path/manager.rs
+1 −1 quic/s2n-quic-transport/src/path/manager/fuzz_target.rs
+28 −27 quic/s2n-quic-transport/src/path/manager/tests.rs
+16 −16 quic/s2n-quic-transport/src/path/mod.rs
+12 −11 quic/s2n-quic-transport/src/recovery/manager/tests.rs
+1 −1 quic/s2n-quic-transport/src/space/application.rs
+10 −10 quic/s2n-quic/Cargo.toml
+7 −103 quic/s2n-quic/src/tests/mtu.rs
+1 −1 scripts/interop/run
+3 −3 tools/xdp/s2n-quic-xdp/Cargo.toml

0 comments on commit 58701ce

Please sign in to comment.