Skip to content

chore: Update to hugr 0.6.0, fix breaking changes (#464) #79

chore: Update to hugr 0.6.0, fix breaking changes (#464)

chore: Update to hugr 0.6.0, fix breaking changes (#464) #79

Triggered via push July 8, 2024 13:39
Status Success
Total duration 24s
Artifacts
Create release PR
13s
Create release PR
Fit to window
Zoom out
Zoom in