chore(deps-py): bump sphinx from 7.4.7 to 8.0.0 in /hugr-py #2811
Triggered via pull request
July 29, 2024 23:31
dependabot[bot]
opened
#1378
Status
Success
Total duration
16s
Artifacts
–
pr-title.yml
on: pull_request_target
Validate Conventional Commit PR title
6s