Skip to content
Check for copyright header and too-big Lean imports

feat: automatically track open-source libraries for web frontend #306

Sign in to view logs

feat: automatically track open-source libraries for web frontend

feat: automatically track open-source libraries for web frontend #306

Triggered via pull request January 31, 2025 13:39
@david-christiansendavid-christiansen
opened #279
license-infos
Status Success
Total duration 12s
Artifacts –

copyright-header.yml

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