Skip to content

chore(main): release hugr-py 0.7.0 #3077

chore(main): release hugr-py 0.7.0

chore(main): release hugr-py 0.7.0 #3077

Triggered via pull request August 14, 2024 12:09
@hugrbothugrbot
edited #1423
Status Success
Total duration 4m 41s
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