0ae24de4f8394ca1513a3e2409a5b69b41283f44
100%
master: 100%

Ran 04 Jul 2026 09:14PM UTC

Jobs 5

Files 128

Run time 1min

Badge

Committed 04 Jul 2026 09:12PM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by

Commit Message

docs(eras): record round-trip split decision (semantic era 0, byte-level era 1) + editor Format-button interlock note

Coverage Stats

3239 of 3239 branches covered (100.0%)

Branch coverage included in aggregate %.

5258 of 5258 relevant lines covered (100.0%)

8590.21 hits per line

ID	Job ID	Ran	Files	Coverage
1	0ae24de4f8394ca1513a3e2409a5b69b41283f44.1	04 Jul 2026 09:14PM UTC	128	100.0	GitHub Action Run
2	0ae24de4f8394ca1513a3e2409a5b69b41283f44.2	04 Jul 2026 09:14PM UTC	128	100.0	GitHub Action Run
3	0ae24de4f8394ca1513a3e2409a5b69b41283f44.3	04 Jul 2026 09:14PM UTC	128	100.0	GitHub Action Run
4	0ae24de4f8394ca1513a3e2409a5b69b41283f44.4	04 Jul 2026 09:15PM UTC	128	100.0	GitHub Action Run
5	0ae24de4f8394ca1513a3e2409a5b69b41283f44.5	04 Jul 2026 09:15PM UTC	128	100.0	GitHub Action Run