Skip to content

fix: extract_hugr not removing root node ports #1121

fix: extract_hugr not removing root node ports

fix: extract_hugr not removing root node ports #1121

Triggered via pull request June 28, 2024 10:53
Status Success
Total duration 5m 11s
Artifacts

ci-rs.yml

on: pull_request
Check for changes in Rust files
3s
Check for changes in Rust files
check
54s
check
tests (Rust stable, no features)
1m 23s
tests (Rust stable, no features)
tests (Rust stable, all features)
1m 13s
tests (Rust stable, all features)
Matrix: tests-other
Build benchmarks 🏋️
4m 55s
Build benchmarks 🏋️
Required checks 🦀
0s
Required checks 🦀
Fit to window
Zoom out
Zoom in

Annotations

8 notices
sccache stats
100% - 249 hits, 0 misses, 0 errors
sccache stats
100% - 225 hits, 0 misses, 0 errors
sccache stats
100% - 218 hits, 0 misses, 0 errors
sccache stats
100% - 218 hits, 0 misses, 0 errors
sccache stats
98% - 218 hits, 4 misses, 0 errors
sccache stats
98% - 218 hits, 4 misses, 0 errors
sccache stats
77% - 173 hits, 52 misses, 0 errors
sccache stats
100% - 230 hits, 0 misses, 0 errors