Check awaiting-mathlib label

chore: tweak adaptation PR "waiting for CI" message #35074

Sign in to view logs

Triggered via pull request September 3, 2026 13:55

Garmelon

synchronize #14999

Status Success

Total duration 5s

Artifacts –

awaiting-mathlib.yml

on: pull_request_target

check-awaiting-mathlib