Repository navigation

fix(ci): verify the published pages instead of pushing them to main - #39

Merged

bkd-dotcom merged 4 commits into

mainfrom

fix/leaderboard-publish

Sep 9, 2026

Merged

fix(ci): verify the published pages instead of pushing them to main#39
bkd-dotcom merged 4 commits into
mainfrom
fix/leaderboard-publish

Commits on Sep 9, 2026
- fix(ci): run the publish gates even when the push fails
  
  bkd-dotcom
  and
  claude
  committed
  55a7af2
- docs: refresh the leaderboard for signetry-core 0.8.0
  
  bkd-dotcom
  and
  claude
  committed
  63a670e
- fix(ci): verify the published pages instead of pushing them to main
  
  bkd-dotcom
  and
  claude
  committed
  2e4319b
- fix(ci): check out the PR, and refuse a tree without the recipe
  
  bkd-dotcom
  and
  claude
  committed
  75fd873