Skip to content
Check awaiting-mathlib label

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

Sign in to view logs

perf: cache the elaboration of section variables across commands

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

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-mathlib.yml

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