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
..
ci.yml	add timeout to miri job in CI (#4743)	2022-05-14 02:01:38 +00:00
dependencies.yml	Bump actions/checkout from 2 to 3 (#4136)	2022-03-08 00:46:07 +00:00
docs.yml	GitHub Actions: don't depend on patch versions (#4646)	2022-05-02 18:45:02 +00:00
ios.yml	Bump actions/cache from 2 to 3 (#4348)	2022-03-31 21:22:16 +00:00