41484205239
91%

Ran 02 Nov 2026 04:45PM UTC

Jobs 1

Files 90

Run time 1min

Badge

Embed ▾

Committed 02 Nov 2026 04:38PM UTC coverage: 91.401% (+0.09%) from 91.307%

Build # 41484205239

Build Type

push

github

Committed by

samvv

Commit Message

Describe read-only views in the Lean README

Also fix the note on axioms: most theorems use `Classical.choice`, not
just those in `Purity.lean` and `Frame.lean`.

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

Coverage Regressions

Lines	Coverage	∆	File
149	83.35	1.42%	crates/boltlang-codegen/src/lower.rs
42	84.36	0.63%	crates/boltlang-codegen/src/emit.rs
21	87.44	-0.68%	crates/boltlang-codegen/src/run.rs
3	96.0	0.26%	crates/boltlang-codegen/src/layout.rs
1	96.0	-4.0%	crates/boltlang-codegen/src/ir.rs

Jobs

ID	Job ID	Ran	Files	Coverage
1	41484205239.1	02 Nov 2026 04:45PM UTC	90	91.4	GitHub Action Run

boltlang / Bolt / 41484205239
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 41484205239

boltlang / Bolt / 41484205239 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 41484205239

boltlang / Bolt / 41484205239
91%

README BADGES
x