Skip to content

chore: make GitHub Pages CounterProof-native - #63

Merged
hippoley merged 4 commits into
mainfrom
chore/pages-counterproof-only
Sep 26, 2026
Merged

hippoley merged 4 commits into
mainfrom
chore/pages-counterproof-only

Conversation

@hippoley

Copy link
Copy Markdown
Owner

The Pages deployment still carried SkillFactory-era behavior even though the public surface is now CounterProof Proof Lab.

This change removes that coupling:

  • scripts/build_pages.py no longer loads, validates, or serializes skills/**;
  • the frontend reads a tiny data/build.json only for the commit badge;
  • Pages no longer redeploys when unrelated legacy skills change;
  • the workflow is renamed to Deploy CounterProof Proof Lab;
  • the static site is always built and validated, even when Pages is not enabled yet;
  • only the final configure/upload/deploy steps are skipped when the repository-level Pages switch is still off.

This does not change proof semantics or product behavior; it makes the public deployment path match the current project boundary.

@hippoley
hippoley merged commit 0ef5148 into main Sep 26, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant