Skip to content
Back to pull request #1173

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

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. #684

Triggered via pull request June 6, 2024 16:42
@aborgna-qaborgna-q
closed #1173
ab/extract_hugr
Status Success
Total duration 20s
Artifacts –

drop-cache.yml

on: pull_request
cleanup
10s
cleanup
Fit to window
Zoom out
Zoom in