Check stdlib_flags.h modifications

feat: split `[implicit_reducible]` into `[instance_reducible]` and `[implicit_reducible]` tiers #9728

Sign in to view logs

Triggered via pull request June 19, 2026 14:42

mathlib-lean-pr-testing[bot]

labeled #13637

Status Success

Total duration 11s

Artifacts –

check-stdlib-flags.yml

on: pull_request_target

check-stdlib-flags