Skip to content

chore!: Update hugr-py to 0.7.0 #1902

chore!: Update hugr-py to 0.7.0

chore!: Update hugr-py to 0.7.0 #1902

Triggered via pull request August 14, 2024 15:06
@aborgna-qaborgna-q
edited #538
Status Success
Total duration 18s
Artifacts

pr-title.yml

on: pull_request_target
Validate Conventional Commit PR title
9s
Validate Conventional Commit PR title
Fit to window
Zoom out
Zoom in