Gwilym Inzani 938b052997 Schedule nightly run to be at 6:10 rather than 5:10 ... Occasionally, miri was't available yet. So we go with a 6:10 run to give it a chance to be installed.		2023-06-25 16:07:59 +01:00
..
scripts	Use the new publish crate tool	2022-08-04 21:30:52 +01:00
workflows	Schedule nightly run to be at 6:10 rather than 5:10	2023-06-25 16:07:59 +01:00
logo.png	Add logo to repo and readme	2021-07-05 23:56:43 +01:00
pull_request_template.md	add what we need to do before merging	2022-08-02 22:52:33 +01:00
renovate.json	close issue if there is nothing to be done	2022-01-21 00:11:08 +00:00