Skip to content
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

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-lean-files
6s
6s