Skip to content
Publish docs via GitHub Pages

[CI] Fix build of docs from PRs (#313) #100

Sign in to view logs

[CI] Fix build of docs from PRs (#313)

[CI] Fix build of docs from PRs (#313) #100

Triggered via push April 25, 2024 16:04
@giordanogiordano
pushed ede38fa
main
Status Success
Total duration 53s
Artifacts –

docs.yml

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