Skip to content

fix: extract_hugr not removing root node ports #1119

fix: extract_hugr not removing root node ports

fix: extract_hugr not removing root node ports #1119

Triggered via pull request June 28, 2024 10:26
Status Success
Total duration 6m 1s
Artifacts

ci-rs.yml

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

Annotations

8 notices
sccache stats
99% - 246 hits, 3 misses, 0 errors
sccache stats
98% - 214 hits, 4 misses, 0 errors
sccache stats
98% - 214 hits, 4 misses, 0 errors
sccache stats
96% - 217 hits, 8 misses, 0 errors
sccache stats
96% - 214 hits, 8 misses, 0 errors
sccache stats
96% - 214 hits, 8 misses, 0 errors
sccache stats
28% - 63 hits, 162 misses, 0 errors
sccache stats
97% - 222 hits, 8 misses, 0 errors