Skip to content
Miri test

Merge branch 'main' into julio/reuse-connections #9023

Sign in to view logs

Merge branch 'main' into julio/reuse-connections

Merge branch 'main' into julio/reuse-connections #9023

Triggered via push October 23, 2025 14:26
@hooliohhoolioh
pushed fa42381
julio/reuse-connections
Status Success
Total duration 18m 0s
Artifacts –

miri.yml

on: push
Matrix: run-miri
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
run-miri (5)
cargo-nextest@0.9.96 for 'x86_64_linux' is not supported; fallback to cargo-binstall
run-miri (2)
cargo-nextest@0.9.96 for 'x86_64_linux' is not supported; fallback to cargo-binstall
run-miri (4)
cargo-nextest@0.9.96 for 'x86_64_linux' is not supported; fallback to cargo-binstall
run-miri (3)
cargo-nextest@0.9.96 for 'x86_64_linux' is not supported; fallback to cargo-binstall
run-miri (1)
cargo-nextest@0.9.96 for 'x86_64_linux' is not supported; fallback to cargo-binstall