Skip to content
Documentation

[DOCUMENTATION] Deploy documentation to GitHub Pages #717

Sign in to view logs

[DOCUMENTATION] Deploy documentation to GitHub Pages

[DOCUMENTATION] Deploy documentation to GitHub Pages #717

Triggered via pull request October 15, 2024 10:15
@markusweigeltmarkusweigelt
synchronize #1355
markusweigelt:github-pages-documentation
Status Success
Total duration 24s
Artifacts –

documentation.yml

on: pull_request
Build and test documentation
14s
Build and test documentation
Deploy documentation to GitHub Pages
0s
Deploy documentation to GitHub Pages
Fit to window
Zoom out
Zoom in