Skip to content
Check overlay annotations

Guards: Improve performance of forall in guardDeterminesPhiInput. #5709

Sign in to view logs

Guards: Improve performance of forall in guardDeterminesPhiInput.

Guards: Improve performance of forall in guardDeterminesPhiInput. #5709

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

check-overlay-annotations.yml

on: pull_request
sync
16s
sync
Fit to window
Zoom out
Zoom in