From 8c9a9a77164ae3621a4bc7710670a8a49b0a9e66 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 17 Apr 2025 16:12:42 +0200 Subject: [PATCH] for testing, run the CI job an extra time today --- 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 bd6d51530a9a..86815fc60fb8 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/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: