Skip to content

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

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

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

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

ci-py.yml

on: pull_request
Check for changes in Python files
3s
Check for changes in Python files
Matrix: check
Check serialization schema
0s
Check serialization schema
Build HUGR binary
0s
Build HUGR binary
Matrix: test
Required checks 🐍
Required checks 🐍
coverage
0s
coverage
Fit to window
Zoom out
Zoom in