Skip to content
Back to pull request #617

Use Github Pages for the manual #1259

Sign in to view logs

Use Github Pages for the manual

Use Github Pages for the manual #1259

Triggered via pull request November 25, 2024 09:00
@matslmatsl
synchronize #617
use-github-pages-for-publishing-the-manual
Status Success
Total duration 1m 15s
Artifacts –

main.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in