3
98%
master: 100%

Ran 07 Jul 2025 08:46PM UTC

Files 31

Run time 1s

Badge

Committed 07 Jul 2025 08:45PM UTC coverage: 99.544% (+0.001%) from 99.543%

Build Type

push

github

Committed by

Commit Message

Ensure that top-level automata package is still included

This should fix the exposing of type information to consuming
programs.

Run Details

1312 of 1336 branches covered (98.2%)

2839 of 2852 relevant lines covered (99.54%)

1.0 hits per line