Skip to content
Build and publish docs

fix(hugr-py): ops require their own extensions (#1303) #19

Sign in to view logs

fix(hugr-py): ops require their own extensions (#1303)

fix(hugr-py): ops require their own extensions (#1303) #19

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build docs.
7m 23s
Publish docs.
13s
7m 36s