Check awaiting-mathlib label

fix: lake: apply `moreServerOptions` to package modules #35168

Sign in to view logs

Triggered via pull request September 5, 2026 14:19

tydeu

opened #15042

Status Success

Total duration 23m 51s

Artifacts –

awaiting-mathlib.yml

on: pull_request_target

check-awaiting-mathlib