Skip to content

chore(main): release hugr-py 0.9.0 #3711

chore(main): release hugr-py 0.9.0

chore(main): release hugr-py 0.9.0 #3711

Triggered via pull request October 14, 2024 09:51
@hugrbothugrbot
labeled #1548
Status Success
Total duration 1m 6s
Artifacts

pr-title.yml

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