Check awaiting-mathlib label

feat: improve case-split heuristic in `grind` #18560

Sign in to view logs

Triggered via pull request December 11, 2025 10:35

leodemoura

opened #11609

grind_11545

Status Success

Total duration 6s

Artifacts –

awaiting-mathlib.yml

on: pull_request

check-awaiting-mathlib