Skip to content

feat(hugr-py): builder ops separate from serialised ops #878

feat(hugr-py): builder ops separate from serialised ops

feat(hugr-py): builder ops separate from serialised ops #878

Triggered via pull request June 4, 2024 15:36
@ss2165ss2165
synchronize #1140
ss/op-hier
Status Success
Total duration 6m 23s
Artifacts

ci-rs.yml

on: pull_request
Check for changes in Rust files
7s
Check for changes in Rust files
check
1m 37s
check
tests (Rust stable, no features)
1m 50s
tests (Rust stable, no features)
tests (Rust stable, all features)
1m 55s
tests (Rust stable, all features)
Matrix: tests-other
Build benchmarks 🏋️
5m 59s
Build benchmarks 🏋️
Required checks 🦀
0s
Required checks 🦀
Fit to window
Zoom out
Zoom in