Check awaiting-manual label

refactor: move Std.Range to Std.Legacy.Range #10378

Sign in to view logs

Triggered via pull request December 4, 2025 18:21

leanprover-community-bot

labeled #11438

paul/ranges/namespace-old-ranges

Status Success

Total duration 7s

Artifacts –

awaiting-manual.yml

on: pull_request

check-awaiting-manual