Skip to content
Infer

fix: preserve KDTree deletion traversal and split invariants #5450

Sign in to view logs

fix: preserve KDTree deletion traversal and split invariants

fix: preserve KDTree deletion traversal and split invariants #5450

Triggered via pull request October 4, 2026 20:19
@tianrkingtianrking
opened #7633
tianrking:codex/kdtree-delete-invariants
Status Success
Total duration 3m 19s
Artifacts –

infer.yml

on: pull_request
run_infer
3m 16s
run_infer
Fit to window
Zoom out
Zoom in

Annotations

1 notice
run_infer
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"