756ae9ad72f501a512cfcd11870575438dae3e06-PR-32
100%
main: 100%

Ran 04 Jun 2026 04:21PM UTC

Jobs 1

Files 8

Run time 1min

Badge

Committed 04 Jun 2026 04:20PM UTC coverage: 100.0%. Remained the same

Build Type

github

Committed by

Commit Message

support returning ok/error/tuples in defcheck body

Coverage Stats

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

237 of 237 relevant lines covered (100.0%)

13.26 hits per line

ID	Job ID	Ran	Files	Coverage
1	756ae9ad72f501a512cfcd11870575438dae3e06-PR-32.1	04 Jun 2026 04:21PM UTC	8	100.0	GitHub Action Run