Skip to content
Run QL for QL

Guards: Improve performance of forall in guardDeterminesPhiInput. #46761

Sign in to view logs

Guards: Improve performance of forall in guardDeterminesPhiInput.

Guards: Improve performance of forall in guardDeterminesPhiInput. #46761

Triggered via pull request March 5, 2026 10:20
@aschackmullaschackmull
synchronize #21408
aschackmull:guards/perf-tweak
Status Success
Total duration 3m 34s
Artifacts 2

ql-for-ql-build.yml

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

Artifacts

Produced during runtime
Name Size Digest
ql-for-ql-langs
24.4 MB
sha256:51b305e0f388b6aa78b1d775689640abffb0dbcacfd0818a94230d557d0da8a0
ql-for-ql.sarif
1.62 MB
sha256:443172c404054ae5f506e527e5fe9bdf060ae67635ef21ff3f78494e7d8f5109