Skip to content
Publish documentation

Link to github repo from home page #13

Sign in to view logs

Link to github repo from home page

Link to github repo from home page #13

Triggered via push July 12, 2023 13:21
@ogriselogrisel
pushed 49189b8
main
Status Success
Total duration 1m 26s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

push_doc.yml

on: push
deploy
1m 17s
deploy
Fit to window
Zoom out
Zoom in