fix: extract_hugr
not removing root node ports
#1121
ci-rs.yml
on: pull_request
Check for changes in Rust files
3s
check
54s
tests (Rust stable, no features)
1m 23s
tests (Rust stable, all features)
1m 13s
Matrix: tests-other
Build benchmarks 🏋️
4m 55s
Required checks 🦀
0s
coverage
1m 50s
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
|