Skip to content
Build and publish docs

feat(hugr-py): use serialized extensions in python (#1459) #58

Sign in to view logs

feat(hugr-py): use serialized extensions in python (#1459)

feat(hugr-py): use serialized extensions in python (#1459) #58

Triggered via push August 21, 2024 16:36
@github-merge-queuegithub-merge-queue[bot]
pushed a61f4df
main
Status Success
Total duration 3m 0s
Artifacts –

docs.yml

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