Check awaiting-mathlib label

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

Sign in to view logs

Triggered via pull request September 5, 2026 14:19

tydeu

labeled #15042

Status Success

Total duration 24m 11s

Artifacts –

awaiting-mathlib.yml

on: pull_request_target

check-awaiting-mathlib