Check stdlib_flags.h modifications

perf: specialize `instantiate` for the `n=1` case #6629

Sign in to view logs

Triggered via pull request April 13, 2026 10:17

mathlib-lean-pr-testing[bot]

labeled #13385

Status Success

Total duration 9s

Artifacts –

check-stdlib-flags.yml

on: pull_request_target

check-stdlib-flags