Check for too-big Lean imports

feat: improvements to Quotient chapter suggested by Kyle #325

Sign in to view logs

Triggered via pull request February 3, 2025 08:53

david-christiansen

opened #275

quotient-update

Status Success

Total duration 13s

Artifacts –

too-big-imports.yml

on: pull_request

check-lean-files