41648382361
91%

Ran 03 Nov 2026 01:55PM UTC

Jobs 1

Files 92

Run time 1min

Badge

Embed ▾

Committed 03 Nov 2026 01:52PM UTC coverage: 91.282%. Remained the same

Build # 41648382361

Build Type

push

github

Committed by

samvv

Commit Message

Prove what an imm call changes from its frame

imm_fn_changes_nothing and imm_fn_changes_only_through_handler each
reran steps_clean with their own setup. Both follow in a few lines from
call_changes_only_what_args_reach, so they're in Frame.lean now, and
Purity.lean keeps the invariant they all rest on.

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

Coverage Stats

16585 of 18169 relevant lines covered (91.28%)

368403.81 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	41648382361.1	03 Nov 2026 01:55PM UTC	92	91.28	GitHub Action Run

boltlang / Bolt / 41648382361
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 41648382361

boltlang / Bolt / 41648382361 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 41648382361

boltlang / Bolt / 41648382361
91%

README BADGES
x