diff options
| author | Gaëtan Gilbert | 2020-07-01 11:47:31 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-07-01 11:47:31 +0200 |
| commit | 144d121ad9a5b2aead25f9365021a9753a835e12 (patch) | |
| tree | 8194dcb2769e0bbda69c202ead0dbcbe45b671eb /kernel/type_errors.mli | |
| parent | d1407a5adabf600f3a80b2715fcae1ecd7a5df93 (diff) | |
| parent | 397fb9dfbe09b85d8cbeed5854134a6491372ae4 (diff) | |
Merge PR #12605: [test-suite] async-proofs off in tests with Fail Timeout
Reviewed-by: SkySkimmer
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions