Skip to content
Check awaiting-mathlib label

perf: make the small-object allocation fast path a leaf #35087

Sign in to view logs

perf: make the small-object allocation fast path a leaf

perf: make the small-object allocation fast path a leaf #35087

Triggered via pull request September 3, 2026 16:36
@KhaKha
opened #15011
Status Success
Total duration 14s
Artifacts –

awaiting-mathlib.yml

on: pull_request_target
check-awaiting-mathlib
5s
check-awaiting-mathlib
Fit to window
Zoom out
Zoom in