Skip to content
Publish docs via GitHub Pages

Merge pull request #4987 from martin-frbg/issue3973 #460

Sign in to view logs

Merge pull request #4987 from martin-frbg/issue3973

Merge pull request #4987 from martin-frbg/issue3973 #460

Triggered via push November 23, 2024 13:15
@martin-frbgmartin-frbg
pushed 8481301
develop
Status Success
Total duration 43m 37s
Artifacts –

docs.yml

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