Skip to content
Generate HTML documentation

Merge pull request #998 from github/michaelrfairhurst/fix-workflow-pe… #3924

Sign in to view logs

Merge pull request #998 from github/michaelrfairhurst/fix-workflow-pe…

Merge pull request #998 from github/michaelrfairhurst/fix-workflow-pe… #3924

Triggered via push December 18, 2025 20:02
@github-merge-queuegithub-merge-queue[bot]
pushed 0774cfc
main
Status Success
Total duration 15s
Artifacts –

generate-html-docs.yml

on: push
Generate HTML documentation
11s
Generate HTML documentation
Fit to window
Zoom out
Zoom in