Skip to content
Check for too-big Lean imports

feat: mobile reading #63

Sign in to view logs

feat: mobile reading

feat: mobile reading #63

Triggered via pull request November 15, 2024 20:53
@david-christiansendavid-christiansen
synchronize #148
mobile-reading
Status Success
Total duration 15s
Artifacts –

too-big-imports.yml

on: pull_request
check-lean-files
5s
check-lean-files
Fit to window
Zoom out
Zoom in