719307708
96%
master: 96%

Ran 05 Apr 2021 01:24PM UTC

Jobs 3

Files 19

Run time 6min

Badge

Build Type

push

github

Committed by Jerome Simeon

Commit Message

chore(upgrade) Ergo compiler code switched to Coq 8.12

Run Details

320 of 358 branches covered (89.39%)

Branch coverage included in aggregate %.

886 of 904 relevant lines covered (98.01%)

1526.95 hits per line

ID	Job ID	Ran	Files	Coverage
2	windows-latest - 719307708.2	05 Apr 2021 01:25PM UTC	19	0.0	GitHub Action Run
4	ubuntu-latest - 719307708.4	05 Apr 2021 01:25PM UTC	19	95.56	GitHub Action Run
6	macOS-latest - 719307708.6	05 Apr 2021 01:29PM UTC	19	95.56	GitHub Action Run