Check awaiting-mathlib label

chore: update actions/checkout in lake new template #34964

Sign in to view logs

Triggered via pull request September 1, 2026 00:55

kt3k

opened #14984

Status Success

Total duration 6s

Artifacts –

awaiting-mathlib.yml

on: pull_request_target

check-awaiting-mathlib