1
85%
master: 85%

Ran 28 Nov 2023 08:24PM UTC

Files 151

Run time 11s

Badge

Committed 28 Nov 2023 06:53PM UTC coverage: 84.643% (-0.003%) from 84.646%

Build Type

push

github

Committed by

Commit Message

ci/github-actions: Run the main CI job every day (#2850)

At 2:22 AM.

Signed-off-by: Jan Vesely <jan.vesely@rutgers.edu>

Run Details

13320 of 16488 branches covered (0.0%)

Branch coverage included in aggregate %.

31346 of 36282 relevant lines covered (86.4%)

0.86 hits per line