Skip to content
Publish docs via GitHub Pages

drop jsonlint #17

Sign in to view logs

drop jsonlint

drop jsonlint #17

Triggered via push May 18, 2024 14:59
@Remi-GauRemi-Gau
pushed 3855520
main
Status Failure
Total duration 27s
Artifacts –

publishdocs.yaml

on: push
Deploy docs
20s
Deploy docs
Fit to window
Zoom out
Zoom in