Build and publish docs

chore(deps-py): bump sphinx from 7.3.7 to 7.4.7 in /hugr-py (#1334) #24

Sign in to view logs

Triggered via push July 23, 2024 09:17

github-merge-queue[bot]

main

Status Success

Total duration 7m 42s

Artifacts –

docs.yml

on: push