solvecraft

mirror of https://github.com/bherbruck/solidcraft.git synced 2026-11-08 13:01:52 +00:00

Files

T

jyviko 7d7203f9ed Rig and CI: one kernel, solidcore

- CI: the "Native Linux tests (C++ SMLib)" job, Clippy's run with
  --features smlib and every SMLib fetch step go; the kernel rig and the
  fillet rig build the CLI without the feature, and the ladder gate runs
  without --kernel smlib.
- xtask kernel-cases has no --kernel any more (solidcore|smlib|both, and
  the side by side with the C++ kernel); passed, it is refused as --route
  is. A run keeps results.json and dumps/ in its output folder and writes
  docs/kernel-cases.md, the kernel's report.
- The per-area lists: each area's KNOWN_FAILING.solidcore becomes its
  KNOWN_FAILING, replacing the C++ kernel's list; the workflows, the
  README, the plan's self-test and xtask's help say so.
- tests/KNOWN_FAILING_TESTS.smlib, xtask's SMLIB_LIST and
  scripts/fetch-smlib.sh are deleted; PATHS-ALL drops the script.
- The CLI's kernel-cases names its kernel solidcore.

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

2026-11-02 18:07:53 -05:00

Rig and CI: one kernel, solidcore

2026-11-02 18:07:53 -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