Skip to content
Deploy to GitHub Pages

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

Sign in to view logs

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

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

Triggered via pull request June 30, 2026 19:12
@oschwaldoschwald
synchronize #734
greg/fix-pages-mise-lock
Status Success
Total duration 21s
Artifacts –

pages.yml

on: pull_request
build-and-deploy
18s
build-and-deploy
Fit to window
Zoom out
Zoom in