Skip to content

Merge branch 'docs/main' into main #9

Merge branch 'docs/main' into main

Merge branch 'docs/main' into main #9

Triggered via push February 17, 2024 14:16
Status Success
Total duration 55s
Artifacts

docs.yaml

on: push
Build docs
44s
Build docs
Run spellcheck
29s
Run spellcheck
Run dictcheck
30s
Run dictcheck
Run linkcheck
0s
Run linkcheck
Fit to window
Zoom out
Zoom in