• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

steve-downey / compile-time-scheme / 30722087302
93%

Build:
DEFAULT BRANCH: main
Ran 01 Aug 2026 10:54PM UTC
Jobs 1
Files 130
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

01 Aug 2026 10:49PM UTC coverage: 92.542%. Remained the same
30722087302

push

github

steve-downey
docs: add cpp-rules.md, the terminal C++ card for execution agents

CODING_RULES.md is observably too broad for the execution agents at the
edges of fan-out. What they need is the C++ file and naming rules, the
component-per-file rule, and the intended shape of the code —
algorithms instead of loops, algebras and catamorphisms instead of
switches, constexpr everything and consteval what cannot be runtime —
but not CMake, and in a form that can be the last thing an agent reads
before writing code.

docs/cpp-rules.md is that card. AGENTS.md Tier 1, CLAUDE.md, and the
R1 brief now route agents to it last.

Consistency patches while here: codestyle.org and CODING_RULES.md now
state the C++26 baseline instead of preferring C++23, and codestyle.org
replaces its Co-Authored-By mandate with the standing prohibition —
that rule keeps falling off because the authoritative style doc
contradicted it.

AGENTS.md's commit policy gains a new rule: commit and PR messages are
reviewed by a clean agent running the voice skill before use; the
reviewer sees only the draft and the diff.

make lint passes. No C++ changed.

11652 of 12591 relevant lines covered (92.54%)

293.65 hits per line

Jobs
ID Job ID Ran Files Coverage
1 30722087302.1 01 Aug 2026 10:54PM UTC 130
92.54
GitHub Action Run
Source Files on build 30722087302
  • Tree
  • List 130
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #30722087302
  • 9444679d on github
  • Prev Build on main (#30721254304)
  • Next Build on main (#31109701366)
  • Delete
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE TRIAL · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc