Skip to content
Check for too-big Lean imports

feat: macros and notations #54

Sign in to view logs

feat: macros and notations

feat: macros and notations #54

Triggered via pull request November 12, 2024 16:04
@david-christiansendavid-christiansen
synchronize #147
macros-and-notations
Status Success
Total duration 48s
Artifacts –

too-big-imports.yml

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