Skip to content

fix: extract_hugr not removing root node ports #2266

fix: extract_hugr not removing root node ports

fix: extract_hugr not removing root node ports #2266

Triggered via pull request June 28, 2024 10:26
@aborgna-qaborgna-q
synchronize #1239
Status Success
Total duration 15s
Artifacts

pr-title.yml

on: pull_request_target
Validate Conventional Commit PR title
4s
Validate Conventional Commit PR title
Fit to window
Zoom out
Zoom in