Check for too-big Lean imports

doc: fix typos and grammar across the manual #1376

Sign in to view logs

Re-run triggered January 6, 2026 07:09

david-christiansen

#735

alok:fix/typos-and-grammar

Status Success

Total duration 11s

Artifacts –

too-big-imports.yml

on: pull_request

Check for import Lean