Skip to content
Deploy the dev documentation

fix: include packages unless it is not needed (#6765) #530

Sign in to view logs

fix: include packages unless it is not needed (#6765)

fix: include packages unless it is not needed (#6765) #530

Triggered via push May 28, 2024 07:41
@github-merge-queuegithub-merge-queue[bot]
pushed 56dbe1f
main
Status Success
Total duration 1m 12s
Artifacts –

mkdocs-dev.yaml

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