Check stdlib_flags.h modifications

feat: HTML-like syntax #13789

Sign in to view logs

Triggered via pull request September 2, 2026 23:13

mathlib-lean-pr-testing[bot]

labeled #15002

Status Success

Total duration 7s

Artifacts –

check-stdlib-flags.yml

on: pull_request_target

check-stdlib-flags