Skip to content
PublishGitHubPages

Merge branch 'wdt-945' into 'main' #1744

Sign in to view logs

Merge branch 'wdt-945' into 'main'

Merge branch 'wdt-945' into 'main' #1744

Triggered via push November 12, 2025 14:32
@robertpatrickrobertpatrick
pushed 4bc8f66
main
Status Success
Total duration 10s
Artifacts –

publish-github-pages.yml

on: push
Publish
7s
Publish
Fit to window
Zoom out
Zoom in