mathlib
d0f86077 - fix(scripts): protect `leanpkg test` against timeouts

Commit

7 years ago

fix(scripts): protect `leanpkg test` against timeouts

References

Author

cipher1024

cipher1024

Parents

Loading