Skip to content

chore(main): release hugr-py 0.10.0 #4234

chore(main): release hugr-py 0.10.0

chore(main): release hugr-py 0.10.0 #4234

Triggered via pull request November 27, 2024 09:44
@hugrbothugrbot
edited #1610
Status Success
Total duration 2m 36s
Artifacts

pr-title.yml

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