Skip to content
Check for too-big Lean imports

fix: repair many examples in manual to run in isolation #958

Sign in to view logs

fix: repair many examples in manual to run in isolation

fix: repair many examples in manual to run in isolation #958

Run time

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