Check awaiting-mathlib label

fix: lake: pin mathlib in `new`/`init` to toolchain #15789

Sign in to view logs

Triggered via pull request November 2, 2025 22:40

tydeu

opened #11063

tydeu:lake/math-toolchain

Status Success

Total duration 6s

Artifacts –

awaiting-mathlib.yml

on: pull_request

check-awaiting-mathlib