mirror of
https://github.com/bherbruck/solidcraft.git
synced 2026-11-04 19:15:57 +00:00
jyviko
c5ccb9201d
2 commits, squashed; the originals stay reachable from branch jyviko/merge-main-develop-solidcore (#11360). -19db2d7c0jyviko: Docs and comments: solidcore is the kernel -f1ee045dejyviko: smlib: rustfmt after the C++ kernel's removal Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01DtL5M41G8Nua7HvuFPZkmJ
4 lines
308 B
Plaintext
4 lines
308 B
Plaintext
# The inspect cases that fail today on solidcore, one a line: `<case> <why it fails today>`. Sorted.
|
|
# The kernel rig gate fails on a case that fails and is not listed, and on a listed case that passes.
|
|
# Baseline: solidcore pin de85a3e00, tests/kernel-cases run by `cargo xtask kernel-cases`, x86_64 Linux.
|