1
91%
main: 91%

Ran 03 Nov 2026 01:46PM UTC

Files 92

Run time 1s

Badge

Embed ▾

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

Job # 41646826250.1

Build Type

push

github

Committed by

samvv

Commit Message

Freeze a whole region in place (#335)

The in-place premise is now about the region of what toImm makes imm:
the program has its objects only there, and no object outside the region
holds one. Freezing in place makes the region imm where it is, and each
copy corresponds to its original (region_freeze_step). The check still
gives this for an object whose contents are imm already (Shallow.region),
which stays a premise until the check knows regions.

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

Coverage Stats

16585 of 18169 relevant lines covered (91.28%)

368404.65 hits per line

boltlang / Bolt / 41646826250 / 1
91%
main: 91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 41646826250.1

boltlang / Bolt / 41646826250 / 1 91% main: 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 41646826250.1

boltlang / Bolt / 41646826250 / 1
91%
main: 91%

README BADGES
x