Skip to content
Build and publish docs

fix(py): Hugr.__iter__ returning NodeData | None instead of `Node… #37

Sign in to view logs

fix(py): Hugr.__iter__ returning NodeData | None instead of `Node…

fix(py): Hugr.__iter__ returning NodeData | None instead of `Node… #37

Triggered via push August 8, 2024 12:03
@github-merge-queuegithub-merge-queue[bot]
pushed c134584
main
Status Success
Total duration 2m 39s
Artifacts –

docs.yml

on: push
Build docs.
2m 10s
Build docs.
Publish docs.
9s
Publish docs.
Fit to window
Zoom out
Zoom in