Skip to content

Fix gh-pages deploy: restore java lock URLs and build docs on PRs#734

Merged
horgh merged 2 commits into
mainfrom
greg/fix-pages-mise-lock
Jun 30, 2026
Merged

Fix gh-pages deploy: restore java lock URLs and build docs on PRs#734
horgh merged 2 commits into
mainfrom
greg/fix-pages-mise-lock

Build docs on pull requests to catch breakage pre-merge

2ced449
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Jun 30, 2026 in 3s

No new alerts in code changed by this pull request

View all branch alerts.