1
90%
master: 90%

Ran 10 Jan 2024 11:04PM UTC

Files 159

Run time 3s

Badge

Committed 10 Jan 2024 11:04PM UTC coverage: 81.835% (+0.4%) from 81.42%

Build Type

push

github

Committed by

Commit Message

Split up the lowerer into a semantic and an intermediate lowerer.

The first one "desugars" while the second one transforms into intermediate code.

Run Details

677 of 998 branches covered (0.0%)

Branch coverage included in aggregate %.

2855 of 3318 relevant lines covered (86.05%)

156.47 hits per line