8
65%
master: 65%

Ran 03 Dec 2024 07:15PM UTC

Files 200

Run time 18s

Badge

Committed 03 Dec 2024 06:53PM UTC coverage: 70.323%. First build

Build Type

push

github

Committed by

Commit Message

Merge pull request #14922 from milzi234/bugfix/pdfs-in-wrong-location

put pdfs in latex subdirectory before uploading to web1

Run Details

11127 of 19710 branches covered (56.45%)

Branch coverage included in aggregate %.

43922 of 58570 relevant lines covered (74.99%)

101429.57 hits per line