Skip to content

fix: make Proof Lab Pages build independently testable - #65

Merged
hippoley merged 3 commits into
mainfrom
fix/pages-build-independent
Sep 26, 2026
Merged

fix: make Proof Lab Pages build independently testable#65
hippoley merged 3 commits into
mainfrom
fix/pages-build-independent

test: validate deployable Proof Lab in PR CI

0de4e2f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar