2
95%
master: 95%

Ran 25 Jan 2023 02:01PM UTC

Files 161

Run time 9s

Badge

Committed 25 Jan 2023 02:01PM UTC coverage: 94.33% (-0.01%) from 94.344%

Build Type

push

github-actions

Committed by GitHub

Commit Message

Merge pull request #1249 from exarkun/3967.nix-pycddl

Run Details

8409 of 9488 branches covered (88.63%)

27100 of 28729 relevant lines covered (94.33%)

0.94 hits per line