Skip to content

fix(hugr-py): more ruff lints + fix some typos #726

fix(hugr-py): more ruff lints + fix some typos

fix(hugr-py): more ruff lints + fix some typos #726

Triggered via pull request July 1, 2024 10:25
Status Success
Total duration 15s
Artifacts

drop-cache.yml

on: pull_request
cleanup
6s
cleanup
Fit to window
Zoom out
Zoom in