Skip to content
Build and publish docs

feat(hugr-py)!: Override add rather than append + extend on all… #15

Sign in to view logs

feat(hugr-py)!: Override add rather than append + extend on all…

feat(hugr-py)!: Override add rather than append + extend on all… #15

Triggered via push July 10, 2024 09:07
@github-merge-queuegithub-merge-queue[bot]
pushed af38154
main
Status Success
Total duration 5m 41s
Artifacts –

docs.yml

on: push
Build docs.
5m 16s
Build docs.
Publish docs.
8s
Publish docs.
Fit to window
Zoom out
Zoom in