Skip to content
Publish docs via GitHub Pages

Replace hardcoded org name by ${GITHUB_REPOSITORY_OWNER} (#333) (#349) #56

Sign in to view logs

Replace hardcoded org name by ${GITHUB_REPOSITORY_OWNER} (#333) (#349)

Replace hardcoded org name by ${GITHUB_REPOSITORY_OWNER} (#333) (#349) #56

Triggered via push February 18, 2025 20:20
@vincentsaragovincentsarago
pushed 0452693
main
Status Success
Total duration 28s
Artifacts –

deploy_mkdocs.yml

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