41646826250
91%

Ran 03 Nov 2026 01:46PM UTC

Jobs 1

Files 92

Run time 1min

Badge

Embed ▾

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

Build # 41646826250

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

Jobs

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

boltlang / Bolt / 41646826250
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 41646826250

boltlang / Bolt / 41646826250 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 41646826250

boltlang / Bolt / 41646826250
91%

README BADGES
x