Skip to content
Spec Liveness Check

docs(spec,formula,driver-memory): record the ruled EXCLUDE direction for negative operators over no-value rows (#5299) #5693

Sign in to view logs

docs(spec,formula,driver-memory): record the ruled EXCLUDE direction for negative operators over no-value rows (#5299)

docs(spec,formula,driver-memory): record the ruled EXCLUDE direction for negative operators over no-value rows (#5299) #5693

Triggered via pull request August 10, 2026 09:05
@os-zhuangos-zhuang
opened #7391
claude/issue-5299-negative-operators-value-semantics
Status Success
Total duration 41s
Artifacts –

spec-liveness-check.yml

on: pull_request
Spec property liveness
37s
Spec property liveness
Fit to window
Zoom out
Zoom in