lean icon indicating copy to clipboard operation
lean copied to clipboard

CI: Flaky test on macos debug runs

Open bryangingechen opened this issue 4 years ago • 0 comments

One of the tests under leanruntest_all seems to be failing sometimes on macos debug:

https://github.com/leanprover-community/lean/pull/617#issuecomment-918406979

https://github.com/leanprover-community/lean/pull/622#issuecomment-925204586

bryangingechen avatar Sep 22 '21 19:09 bryangingechen