Skip to content
Publish docs via GitHub Pages

Merge pull request #4822 from martin-frbg/issue4821 #187

Sign in to view logs

Merge pull request #4822 from martin-frbg/issue4821

Merge pull request #4822 from martin-frbg/issue4821 #187

Triggered via push July 27, 2024 18:28
@martin-frbgmartin-frbg
pushed 05bf35f
develop
Status Success
Total duration 34s
Artifacts –

docs.yml

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