4257
65%

Ran 01 Apr 2026 02:30AM UTC

Jobs 1

Files 316

Run time 1min

Badge

Committed 31 Mar 2026 01:19PM UTC coverage: 65.547% (+0.01%) from 65.533%

Build # 4257

Build Type

push

github

Committed by

Commit Message

Update CIL for _Static_assert checking and hasAttribute optimization

Coverage Stats

22722 of 34665 relevant lines covered (65.55%)

403139.49 hits per line

Lines	Coverage	∆	File
1	68.38	-0.01%	src/lifters/specLifters.ml

ID	Job ID	Ran	Files	Coverage
1	4257.1	01 Apr 2026 02:30AM UTC	316	65.55	GitHub Action Run