1
88%
develop: 88%

Ran 11 Aug 2025 09:59AM UTC

Files 638

Run time 21s

Badge

Embed ▾

Committed 11 Aug 2025 09:53AM UTC coverage: 84.045% (-0.03%) from 84.073%

Job # 16876672762.1

Build Type

push

github

Committed by

web-flow

Commit Message

fix[scan]: don't convert filter to `cnf` just extract conjunct list (#4174)

This PR replaces cnf extract with and unpacking.
We could look later at either trying to cnf transform with a conversion
expression size cap?

---------

Signed-off-by: Joe Isaacs <joe.isaacs@live.co.uk>

Run Details

52132 of 62029 relevant lines covered (84.04%)

404718.17 hits per line

vortex-data / vortex / 16876672762 / 1
88%
develop: 88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-tests - 16876672762.1

vortex-data / vortex / 16876672762 / 1 88% develop: 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-tests - 16876672762.1

vortex-data / vortex / 16876672762 / 1
88%
develop: 88%

README BADGES
x