Skip to content

feat: Add HugrMutInternals::insert_ports #3448

feat: Add HugrMutInternals::insert_ports

feat: Add HugrMutInternals::insert_ports #3448

Triggered via pull request February 10, 2025 11:34
Status Success
Total duration 3m 53s
Artifacts 1

ci-rs.yml

on: pull_request
Check for changes
4s
Check for changes
tests (Rust stable, all features)
2m 37s
tests (Rust stable, all features)
check
2m 7s
check
tests (Rust stable, no features)
2m 9s
tests (Rust stable, no features)
Build benchmarks 🏋️
2m 56s
Build benchmarks 🏋️
Keep hugr-model capnp schema updated
0s
Keep hugr-model capnp schema updated
tests (Rust nightly, coverage)
3m 33s
tests (Rust nightly, coverage)
Matrix: tests-other
Check standard extensions
8s
Check standard extensions
Required checks 🦀
0s
Required checks 🦀
Fit to window
Zoom out
Zoom in

Annotations

7 notices
sccache stats
98% - 293 hits, 5 misses, 0 errors
sccache stats
98% - 258 hits, 4 misses, 0 errors
sccache stats
95% - 291 hits, 16 misses, 0 errors
sccache stats
97% - 279 hits, 10 misses, 0 errors
sccache stats
96% - 178 hits, 7 misses, 0 errors
sccache stats
97% - 279 hits, 10 misses, 0 errors
sccache stats
92% - 283 hits, 26 misses, 0 errors

Artifacts

Produced during runtime
Name Size
hugr_binary
13.7 MB