Check for too-big Lean imports

chore: add LICENSE file #17

Sign in to view logs

Triggered via pull request October 23, 2024 06:07

david-christiansen

opened #120

license-file

Status Success

Total duration 16s

Artifacts –

too-big-imports.yml

on: pull_request

check-lean-files