Skip to content

Merge pull request #20826 from aschackmull/guards/disjunctive-implica… #44444

Merge pull request #20826 from aschackmull/guards/disjunctive-implica…

Merge pull request #20826 from aschackmull/guards/disjunctive-implica… #44444

Triggered via push November 14, 2025 14:44
Status Success
Total duration 4m 10s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
ql-for-ql-langs Expired
24.1 MB
sha256:1aea1ee91dd4923725c1442e70b912d4de63a4c42fa31fd59ab5a5a83e71cfaa
ql-for-ql.sarif Expired
1.59 MB
sha256:0f311e9fc2f904d729d189bde62f89d4dd5a1dfcd94bfde001b75beb63272e54