Check awaiting-mathlib label

feat: exprDependsOn follows delayed assignments #34963

Sign in to view logs

Triggered via pull request September 1, 2026 00:52

kim-em

synchronize #2484

Status Success

Total duration 5s

Artifacts –

awaiting-mathlib.yml

on: pull_request_target

check-awaiting-mathlib