41503861659
91%

Ran 02 Nov 2026 06:49PM UTC

Jobs 1

Files 90

Run time 1min

Badge

Embed ▾

Committed 02 Nov 2026 06:47PM UTC coverage: 91.401%. Remained the same

Build # 41503861659

Build Type

push

github

Committed by

samvv

Commit Message

Fix the Lean warnings that fail CI

CI builds with `--wfail`: drop an unused `simp` argument in
`Expr.subst_comm`, and `step_ok`'s unused parameter about function
bodies.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Coverage Stats

16051 of 17561 relevant lines covered (91.4%)

369333.99 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	41503861659.1	02 Nov 2026 06:49PM UTC	90	91.4	GitHub Action Run

boltlang / Bolt / 41503861659
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 41503861659

boltlang / Bolt / 41503861659 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 41503861659

boltlang / Bolt / 41503861659
91%

README BADGES
x