Skip to content
Build and publish python wheels

feat: HugrView::extract_hugr to extract regions into owned hugrs. (… #180

Sign in to view logs

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

feat: HugrView::extract_hugr to extract regions into owned hugrs. (… #180

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build and publish wheels (hugr-py)
18s
18s