16351626684
88%

Ran 17 Jul 2025 05:22PM UTC

Jobs 2

Files 591

Run time 2min

Badge

Committed 17 Jul 2025 05:18PM UTC coverage: 80.744% (+0.04%) from 80.704%

Build Type

push

github

Committed by

Commit Message

fix: Fix NNF nested negation rewriting (#3905)

Signed-off-by: Adam Gutglick <adam@spiraldb.com>

Run Details

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

41894 of 51885 relevant lines covered (80.74%)

157674.98 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-tests - 16351626684.1	17 Jul 2025 05:22PM UTC	591	78.03	GitHub Action Run
2	run-tpc-h - 16351626684.2	17 Jul 2025 05:22PM UTC	554	48.31	GitHub Action Run