Skip to content
formal verification

perf: short-circuit Slice equality on length mismatch #9515

Sign in to view logs

perf: short-circuit Slice equality on length mismatch

perf: short-circuit Slice equality on length mismatch #9515

Triggered via pull request February 10, 2026 11:33
@VolodymyrBgVolodymyrBg
opened #6338
VolodymyrBg:perf/memory-slice-equal-short-circuit
Status Success
Total duration 7m 15s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
4s
apply-diff
verify
0s
verify
halmos
7m 10s
halmos
Fit to window
Zoom out
Zoom in