Skip to content

feat: HugrView::extract_hugr to extract regions into owned hugrs. #907

feat: HugrView::extract_hugr to extract regions into owned hugrs.

feat: HugrView::extract_hugr to extract regions into owned hugrs. #907

Triggered via pull request June 6, 2024 15:34
Status Success
Total duration 6m 0s
Artifacts

ci-rs.yml

on: pull_request
Check for changes in Rust files
3s
Check for changes in Rust files
check
1m 25s
check
tests (Rust stable, no features)
1m 12s
tests (Rust stable, no features)
tests (Rust stable, all features)
1m 41s
tests (Rust stable, all features)
Matrix: tests-other
Build benchmarks 🏋️
5m 36s
Build benchmarks 🏋️
Required checks 🦀
0s
Required checks 🦀
Fit to window
Zoom out
Zoom in