feat: HugrMut::remove_metadata (#1619)
#2430
github-merge-queue[bot]ci-rs.yml
on: push
Check for changes
5s
Build benchmarks 🏋️
5m 37s
tests (Rust nightly, coverage)
2m 56s
Matrix: tests-other
rs-semver-checks
/
Rust semver-checks 🦀
Required checks 🦀
0s
Annotations
7 notices
|
sccache stats
99% - 289 hits, 3 misses, 0 errors
|
|
sccache stats
97% - 247 hits, 8 misses, 0 errors
|
|
sccache stats
97% - 247 hits, 8 misses, 0 errors
|
|
sccache stats
88% - 247 hits, 35 misses, 0 errors
|
|
sccache stats
47% - 118 hits, 133 misses, 0 errors
|
|
sccache stats
0% - 0 hits, 257 misses, 0 errors
|
|
sccache stats
97% - 257 hits, 9 misses, 0 errors
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
hugr_binary
Expired
|
12.5 MB |
|