Check awaiting-mathlib label

feat: add `warn.redundantExpose` for redundant `@[expose]`/`@[no_expose]` attributes #26726

Sign in to view logs

Triggered via pull request April 13, 2026 09:14

Kha

synchronize #13359

Status Success

Total duration 6s

Artifacts –

awaiting-mathlib.yml

on: pull_request_target

check-awaiting-mathlib