François 728d9696d7 fix nightly for miri to 2022-06-08 to avoid timeouts (#4984) ... # 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		2022-06-11 08:56:26 +00:00
..
contributing	Clean up advice on glob imports in style guide (#4644)	2022-05-02 18:45:00 +00:00
example-run	Add an example to test small window sizes (#3597)	2022-04-26 22:15:24 +00:00
ISSUE_TEMPLATE	Make bug template more beginner-friendly (#4652)	2022-05-30 22:11:44 +00:00
linters	Remove markdown dead link check (#4839)	2022-05-25 05:08:34 +00:00
start-wasm-example	run examples in wasm in CI (#4818)	2022-06-06 20:22:51 +00:00
workflows	fix nightly for miri to 2022-06-08 to avoid timeouts (#4984)	2022-06-11 08:56:26 +00:00
bors.toml	run examples in wasm in CI (#4818)	2022-06-06 20:22:51 +00:00
dependabot.yml	dependabot: use new C-Dependencies label	2021-07-13 12:51:48 -07:00
FUNDING.yml	Create FUNDING.yml	2020-08-18 10:59:30 -07:00
pull_request_template.md	Let contributors know it's okay to delete optional template sections (#4498)	2022-04-16 18:57:51 +00:00