Skip to content

chore: update to hugr 0.14.4 #3191

chore: update to hugr 0.14.4

chore: update to hugr 0.14.4 #3191

Triggered via pull request February 24, 2025 16:44
@ss2165ss2165
opened #785
Status Success
Total duration 14s
Artifacts

pr-title.yml

on: pull_request_target
check-title  /  Validate Conventional Commit PR title
3s
check-title / Validate Conventional Commit PR title
Fit to window
Zoom out
Zoom in