Check awaiting-mathlib label

feat: use right-associativity in `Level.max` normalization #26717

Sign in to view logs

Triggered via pull request April 13, 2026 01:27

kmill

synchronize #13366

Status Success

Total duration 7s

Artifacts –

awaiting-mathlib.yml

on: pull_request_target

check-awaiting-mathlib