Skip to content
Check for too-big Lean imports

chore: add base tag to work around trailing slash issues #26

Sign in to view logs

chore: add base tag to work around trailing slash issues

chore: add base tag to work around trailing slash issues #26

Triggered via pull request October 29, 2024 09:52
@david-christiansendavid-christiansen
synchronize #129
base-tag
Status Success
Total duration 16s
Billable time 1m
Artifacts –

too-big-imports.yml

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