Skip to content
Run QL for QL

Guards: Improve performance of forall in guardDeterminesPhiInput. #46724

Sign in to view logs

Guards: Improve performance of forall in guardDeterminesPhiInput.

Guards: Improve performance of forall in guardDeterminesPhiInput. #46724

Triggered via pull request March 4, 2026 10:14
@aschackmullaschackmull
opened #21408
aschackmull:guards/perf-tweak
Status Success
Total duration 3m 23s
Artifacts 2

ql-for-ql-build.yml

on: pull_request
analyze
3m 19s
analyze
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
ql-for-ql-langs Expired
24.4 MB
sha256:b63502f649590691ab9c44138e169b6f7f1dcc56130234ec6f50667bd637e37e
ql-for-ql.sarif
1.62 MB
sha256:abb2fd4c3c190da5bf1b4626c787f9ae467ea5e6cca131893d42b9781744be3b