Skip to content
Publish docs via GitHub Pages

improve annotations #19

Sign in to view logs

improve annotations

improve annotations #19

Triggered via push May 18, 2024 18:10
@Remi-GauRemi-Gau
pushed 17bddd6
main
Status Success
Total duration 49s
Artifacts –

publishdocs.yaml

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