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.
Sign in for the full log view
linkChecker
succeeded Jun 30, 2026 in 9s