16127492132
100%
master: 100%

Ran 07 Jul 2025 08:46PM UTC

Jobs 5

Files 31

Run time 1min

Badge

Committed 07 Jul 2025 08:45PM UTC coverage: 99.544%. Remained the same

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

3037 of 3080 branches covered (98.6%)

2839 of 2852 relevant lines covered (99.54%)

4.97 hits per line

ID	Job ID	Ran	Files	Coverage
1	16127492132.1	07 Jul 2025 08:46PM UTC	31	99.54	GitHub Action Run
2	16127492132.2	07 Jul 2025 08:46PM UTC	31	99.54	GitHub Action Run
3	16127492132.3	07 Jul 2025 08:46PM UTC	31	99.54	GitHub Action Run
4	16127492132.4	07 Jul 2025 08:46PM UTC	31	99.54	GitHub Action Run
5	16127492132.5	07 Jul 2025 08:46PM UTC	31	99.54	GitHub Action Run