François 947d3f9627 add timeout to miri job in CI (#4743) ... # Objective - When Miri is failing, it can be very slow to do so <img width="1397" alt="Screenshot 2022-05-14 at 03 05 40" src="https://user-images.githubusercontent.com/8672791/168405111-c5e27d63-7a5a-4a5e-b679-abbeeb3201d2.png"> ## Solution - Set the timeout for Miri to 60 minutes (it's 6 hours by default). It runs in around 10 minutes when successful - Fix cache key as it was set to the same as another task that doesn't build with the same parameters		2022-05-14 02:01:38 +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	new labels: feature request	2021-07-13 13:29:05 -07:00
linters	do not check links on docs.github.com (#4578)	2022-04-24 18:57:20 +00:00
workflows	add timeout to miri job in CI (#4743)	2022-05-14 02:01:38 +00:00
bors.toml	CI tool usage (#3876)	2022-05-02 19:13:34 +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