Skip to content
Lean Action CI

Make proof shorter, use suffices a lot #8

Sign in to view logs

Make proof shorter, use suffices a lot

Make proof shorter, use suffices a lot #8

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
52s
52s