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

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

Sign in to view logs

feat: automatically track open-source libraries for web frontend

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

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

copyright-header.yml

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