Skip to content

feat: add HugrView::first_child and HugrMut::remove_subtree #997

feat: add HugrView::first_child and HugrMut::remove_subtree

feat: add HugrView::first_child and HugrMut::remove_subtree #997

Triggered via pull request November 27, 2024 14:17
Status Success
Total duration 52s
Artifacts

drop-cache.yml

on: pull_request
drop-cache  /  cleanup
42s
drop-cache / cleanup
Fit to window
Zoom out
Zoom in