Skip to content
Publish docs via GitHub Pages

Merge pull request #37 from marcobarilari/main #31

Sign in to view logs

Merge pull request #37 from marcobarilari/main

Merge pull request #37 from marcobarilari/main #31

Triggered via push July 5, 2024 13:40
@marcobarilarimarcobarilari
pushed f9acf46
main
Status Success
Total duration 33s
Artifacts –

publishdocs.yaml

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