Check for copyright header and too-big Lean imports

fix: Set toc-backdrop z-index to 9, restore toc to 10 #305

Sign in to view logs

Triggered via pull request January 30, 2025 07:13

david-christiansen

opened #278

layers-fix

Status Success

Total duration 16s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files