Skip to content
Publish docs via GitHub Pages

Merge pull request #130 from robertoostenveld/patch-2 #5

Sign in to view logs

Merge pull request #130 from robertoostenveld/patch-2

Merge pull request #130 from robertoostenveld/patch-2 #5

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

publishdocs.yaml

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