Skip to content
Publish docs via GitHub Pages

Merge pull request #126 from Remi-Gau/mkdoc #2

Sign in to view logs

Merge pull request #126 from Remi-Gau/mkdoc

Merge pull request #126 from Remi-Gau/mkdoc #2

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

publishdocs.yaml

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