Skip to content
Publish docs via GitHub Pages

Merge pull request #128 from Remi-Gau/mkdoc #4

Sign in to view logs

Merge pull request #128 from Remi-Gau/mkdoc

Merge pull request #128 from Remi-Gau/mkdoc #4

Triggered via push November 17, 2023 10:35
@Remi-GauRemi-Gau
pushed 24ed199
main
Status Success
Total duration 43s
Artifacts –

publishdocs.yaml

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