Skip to content
Build and publish docs

test: Add "validate" to hugr CLI command. (#1331) #22

Sign in to view logs

test: Add "validate" to hugr CLI command. (#1331)

test: Add "validate" to hugr CLI command. (#1331) #22

Triggered via push July 22, 2024 13:27
@github-merge-queuegithub-merge-queue[bot]
pushed d8e6cf7
main
Status Success
Total duration 7m 39s
Artifacts –

docs.yml

on: push
Build docs.
7m 7s
Build docs.
Publish docs.
14s
Publish docs.
Fit to window
Zoom out
Zoom in