From 838e6a6b78ec61c2802d8f1364d2f07c4e2453db Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 22 Sep 2023 07:28:56 +0200 Subject: [PATCH] run the cron job a bit earlier --- src/tools/miri/.github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index 5e2abdde6ac..f026b7fd104 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -10,7 +10,7 @@ on: branches: - 'master' schedule: - - cron: '11 5 * * *' # At 5:11 UTC every day. + - cron: '44 4 * * *' # At 4:44 UTC every day. defaults: run: