20109377103
90%
main: 90%

Ran 10 Dec 2025 06:35PM UTC

Jobs 1

Files 13

Run time 1min

Badge

Committed 10 Dec 2025 06:34PM UTC coverage: 89.282%. Remained the same

Build Type

push

github

Committed by

Commit Message

gridbool_create: fix manually reimplementing div_ceil clippy warning

This mysteriously pops up only in users and not in our tests.

Run Details

1641 of 1838 relevant lines covered (89.28%)

726016.51 hits per line

ID	Job ID	Ran	Files	Coverage
1	20109377103.1	10 Dec 2025 06:35PM UTC	13	89.28	GitHub Action Run