Skip to content

Fix GitHub lint workflow issues #15

Fix GitHub lint workflow issues

Fix GitHub lint workflow issues #15

Triggered via push February 22, 2024 10:23
Status Success
Total duration 1m 11s
Artifacts

docs.yml

on: push
Build docs
40s
Build docs
Publish docs
10s
Publish docs
Fit to window
Zoom out
Zoom in