for testing, run the CI job an extra time today

Author: RalfJung

src/tools/miri/.github/workflows/ci.yml

@@ -6,7 +6,7 @@ on:
     branches:
       - 'master'
   schedule:
-    - cron: '44 4 * * *' # At 4:44 UTC every day.
+    - cron: '44 4,17 * * *' # At 4:44 UTC every day.
 
 defaults:
   run: