diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2020-03-07 17:27:30 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-07 17:27:30 +0100 |
| commit | e6d4996a436497a0344eaba80615e3643389b89b (patch) | |
| tree | 4595bdc540c819657c956d8a8612f1bf9d3eb6cb /src/libstd/sys/unix/stack_overflow.rs | |
| parent | 1a1f948deb2a08d678973cd958fdf82a149973a4 (diff) | |
| parent | 2770f300b12268925922152de1e53a2b9e2557a5 (diff) | |
| download | rust-e6d4996a436497a0344eaba80615e3643389b89b.tar.gz rust-e6d4996a436497a0344eaba80615e3643389b89b.zip | |
Rollup merge of #69765 - RalfJung:miri-test, r=LukasKalbertodt
reduce test size for Miri The larger sizes take quite a while, and there is probably little point in repeating this quite so often.
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions