728d9696d7
# Objective - Fix timeout in miri ## Solution - Use a nightly version from before the issue happened: 2022-06-08 - To be checked after https://github.com/rust-lang/miri/issues/2223 is fixed |
||
|---|---|---|
| .. | ||
| contributing | ||
| example-run | ||
| ISSUE_TEMPLATE | ||
| linters | ||
| start-wasm-example | ||
| workflows | ||
| bors.toml | ||
| dependabot.yml | ||
| FUNDING.yml | ||
| pull_request_template.md | ||