42
99%
master: 99%

Ran 13 May 2026 12:27PM UTC

Jobs 4

Files 7

Run time 1min

Badge

Committed 13 May 2026 12:26PM UTC coverage: 100.0%. Remained the same

Build # 42

Build Type

push

github

Committed by

Commit Message

Add is not null and is (not) distinct from operations

Coverage Stats

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

449 of 449 relevant lines covered (100.0%)

228.65 hits per line

ID	Job ID	Ran	Files	Coverage
1	42.1	13 May 2026 12:27PM UTC	7	100.0	GitHub Action Run
2	42.2	13 May 2026 12:27PM UTC	7	100.0	GitHub Action Run
3	42.3	13 May 2026 12:27PM UTC	7	100.0	GitHub Action Run
4	42.4	13 May 2026 12:27PM UTC	7	100.0	GitHub Action Run