Skip to content

tools: Rename -p to --max-packages and fix skipped package counter #22981

tools: Rename -p to --max-packages and fix skipped package counter

tools: Rename -p to --max-packages and fix skipped package counter #22981

Annotations

1 warning

build_mathlib (ubuntu-22.04)

succeeded Apr 30, 2026 in 3m 1s