Repository navigation
ci: run the Redux Build System (rbs) report, soft for now - #31
Merged
4 commits merged intoOct 17, 2026
Merged
4 commits merged into
4 commits merged into
Conversation
rbs runs audit, format-check, lint (dotnet build) and unit tests with a coverage floor inside the repo's devcontainer, the same way it does for Redux. It reports without failing (soft) while ci.yml stays the gate; publish.yml keeps doing the NuGet release, since rbs has no NuGet push. - SPADE.slnx: the dotnet engine needs a solution. It names only DiscreteParser.csproj for now; the test project joins it with the first fix PR. ci.yml and publish.yml name DiscreteParser.csproj explicitly, so the MSB1011 a bare `dotnet build` now gives does not affect them. - rbs.toml: coverage floor 70; the goal is 80%+. - .devcontainer: SDK 10 (reads .slnx, builds the net6.0 library) plus the .NET 8 runtime the tests run on. - .gitignore: rbs's .rbs/ work directory and report.md.
Whitespace only: dotnet format SPADE.slnx, so rbs's format-check starts clean. Brace placement, indentation and blank lines; no code changes.
The tests move to net10.0, so the container no longer needs the .NET 8 runtime feature next to the SDK 10 image. SDK 10 still reads SPADE.slnx and builds the net6.0 library.
This was referenced Oct 15, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Runs the Redux Build System (rbs) on SPADE, the same report Redux and Redux_GUI get: dependency audit,
dotnet formatcheck, build warnings, and unit tests with a coverage floor. It's soft for now: the report is posted on each PR, but the check stays green, andci.ymlremains the gate.This is the new base of the stack: #11 builds on it, so every PR above gets the report too.
What changed
rbs.toml: dotnet engine,SPADE.slnx, coverage floor 70%. The goal is 80%+, and a coverage PR on top of the stack will raise the floor to 80..github/workflows/rbs.yml: the standard thin caller of the rbs reusable workflow, withsoft: true..devcontainer/devcontainer.json: rbs runs the gates inside the repo's devcontainer. It uses the .NET 10 SDK, which reads.slnxand still builds the net6.0 library.SPADE.slnx: the solution rbs builds and tests. fix(collections): hash sets independently of element order #11 adds the test project to it.style: run dotnet format: whitespace and brace placement only, in 7 files, so the format check passes. Generated ANTLR files aren't touched.publish.ymlstill does the NuGet release (rbs has no NuGet push), andci.ymlis unchanged.Testing
Ran
rbs ciin the devcontainer, on this branch and on the top of the stack (#28):Coverage up the stack: #11 has 8%, #13 has 67% and #15 has 68%, so their reports show the coverage gate failing until the PRs above them land. #16 and up are at 71–82%.
🤖 Generated with Claude Code