chore: Update devenv + bump hugr to latest #765
Triggered via pull request
December 7, 2023 15:54
ss2165
Status
Success
Total duration
1h 48m 8s
Artifacts
–
ci.yml
on: pull_request
coverage
1m 11s
py-coverage
1m 34s