solvecraft

mirror of https://github.com/bherbruck/solidcraft.git synced 2026-11-06 20:02:16 +00:00

Files

T

jyviko 28e983e191 Wave 39/45: diagnostics.kernel takes a typed contract, as main's other diagnostics commands do

1 commits, squashed; the originals stay reachable from branch jyviko/merge-main-develop-solidcore (#11360).

- 7ad1d3e12 jyviko: diagnostics.kernel takes a typed contract, as main's other diagnostics commands do

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01DtL5M41G8Nua7HvuFPZkmJ

2026-11-02 16:58:17 -05:00

Wave 39/45: diagnostics.kernel takes a typed contract, as main's other diagnostics commands do

2026-11-02 16:58:17 -05:00

claim

Claim bot: let an unassigned claimant /unclaim (#6718 ) (#6719 )

2026-10-26 23:28:46 +00:00

kernel-paused

Kernel pause: pull requests are judged by the kernel directories they change (#10807 )

2026-11-01 20:19:41 +00:00

pr-checks

PR rules: a PR has to explain itself and show its picture (#11188 )

2026-11-02 15:43:22 +00:00