Skip to content
Check for too-big Lean imports

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

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 #960

Run time

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