Check for too-big Lean imports

feat: mobile reading #62

Sign in to view logs

Triggered via pull request November 15, 2024 20:29

david-christiansen

synchronize #148

mobile-reading

Status Success

Total duration 12s

Artifacts –

too-big-imports.yml

on: pull_request

check-lean-files