Skip to content
Check awaiting-manual label

perf: cache the elaboration of section variables across commands #27295

Sign in to view logs

perf: cache the elaboration of section variables across commands

perf: cache the elaboration of section variables across commands #27295

Triggered via pull request September 1, 2026 02:01
@mathlib-lean-pr-testingmathlib-lean-pr-testing[bot]
labeled #14983
Status Success
Total duration 6s
Artifacts –

awaiting-manual.yml

on: pull_request_target
check-awaiting-manual
2s
check-awaiting-manual
Fit to window
Zoom out
Zoom in