Skip to content
Build and publish docs

feat(hugr-py): move std extension types/ops in to std module (#1288) #16

Sign in to view logs

feat(hugr-py): move std extension types/ops in to std module (#1288)

feat(hugr-py): move std extension types/ops in to std module (#1288) #16

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

docs.yml

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