Check awaiting-mathlib label

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

Sign in to view logs

Triggered via pull request December 11, 2025 10:35

leodemoura

labeled #11609

grind_11545

Status Success

Total duration 8s

Artifacts –

awaiting-mathlib.yml

on: pull_request

check-awaiting-mathlib