fix: Update number of ports for PartialOps, and sanitize orderd edges… #2462
github-merge-queue[bot]ci-rs.yml
on: push
Check for changes
4s
Build benchmarks 🏋️
6m 3s
tests (Rust nightly, coverage)
3m 7s
Matrix: tests-other
rs-semver-checks
/
Rust semver-checks 🦀
Required checks 🦀
0s
Annotations
7 notices
|
sccache stats
100% - 247 hits, 0 misses, 0 errors
|
|
sccache stats
100% - 278 hits, 0 misses, 0 errors
|
|
sccache stats
100% - 251 hits, 0 misses, 0 errors
|
|
sccache stats
95% - 274 hits, 14 misses, 0 errors
|
|
sccache stats
100% - 251 hits, 0 misses, 0 errors
|
|
sccache stats
0% - 0 hits, 253 misses, 0 errors
|
|
sccache stats
99% - 259 hits, 3 misses, 0 errors
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
hugr_binary
|
12.5 MB |
|