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