Skip to content
Deploy the dev documentation

docs: Fix PR documentation to use GitHub Discussions, not Issues (#7141) #561

Sign in to view logs

docs: Fix PR documentation to use GitHub Discussions, not Issues (#7141)

docs: Fix PR documentation to use GitHub Discussions, not Issues (#7141) #561

Triggered via push July 12, 2024 07:10
@github-merge-queuegithub-merge-queue[bot]
pushed 4308a0a
main
Status Success
Total duration 1m 14s
Artifacts –

mkdocs-dev.yaml

on: push
Deploy the dev documentation
1m 4s
Deploy the dev documentation
Fit to window
Zoom out
Zoom in