Ensure documentation builds after commits

Merge branch 'master' into user_guide_updates_contacts #1650

Sign in to view logs

Triggered via push October 20, 2025 14:52

JoschD

user_guide_updates_contacts

Status Success

Total duration 28s

Artifacts –

test_build.yml

on: push

Build Static Documentation