Check awaiting-mathlib label

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

Sign in to view logs

Triggered via pull request November 2, 2025 22:40

tydeu

labeled #11063

tydeu:lake/math-toolchain

Status Success

Total duration 4s

Artifacts –

awaiting-mathlib.yml

on: pull_request

check-awaiting-mathlib