Skip to content

v1.12.0 - Leaderboard, fixed auto-update for proof graph

Choose a tag to compare

View all tags
@cgbarlow cgbarlow released this 14 Jun 08:51
v1.12.0
53cde3c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

The contributor leaderboard (issue #270, ADR-023) — a standalone page ranking solvers by verified proofs, cross-linked with the #371 proof-graph visualiser.

Around it, the post-merge generated-artifact pipeline (board, leaderboard, visualisation) became self-healing: it now actually pushes to main via an admin REFRESH_TOKEN (the GH006 fix, #417) with a race-tolerant retry loop (#426), so the three surfaces refresh on every merge without red runs.

Contributor attribution is also corrected and guarded — a phantom-solver check (ADR-037) flags any solver≜ not backed by a proof-run, git author, or alias (#431/#433). Plus a Skills framework for agent-driven work, and the REFRESH_TOKEN secret unification.

See CHANGELOG.md for the full list.

Assets 2
Loading