31143839907
94%

Ran 07 Aug 2026 03:18AM UTC

Jobs 1

Files 22

Run time 1min

Badge

Committed 07 Aug 2026 03:16AM UTC coverage: 93.829% (-0.06%) from 93.89%

Build Type

push

github

Committed by

Commit Message

Generate concrete behavior registrations (#392)

Coverage Stats

9 of 9 new or added lines in 1 file covered. (100.0%)

1490 of 1588 relevant lines covered (93.83%)

3.75 hits per line

ID	Job ID	Ran	Files	Coverage
1	31143839907.1	07 Aug 2026 03:18AM UTC	96	92.89	GitHub Action Run