Skip to content

Fix gh-pages deploy: restore java lock URL and build docs on PRs#402

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

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

Build docs on pull requests to catch breakage pre-merge

3b65b5c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar