Skip to content
Publish documentation

Merge pull request #14 from soda-inria/typos_in_doc #18

Sign in to view logs

Merge pull request #14 from soda-inria/typos_in_doc

Merge pull request #14 from soda-inria/typos_in_doc #18

Triggered via push September 14, 2023 09:59
@Vincent-MaladiereVincent-Maladiere
pushed 2c67655
main
Status Success
Total duration 1m 54s
Artifacts –

push_doc.yml

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