From 2223b2a2f7e61f4ac92aa0b2aaaf51cdd8a32dc7 Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Tue, 16 Jul 2024 12:24:08 -0400 Subject: [PATCH] Start CI 15min earlier (#427) https://github.com/mit-plv/bedrock2/pull/426 was created 42 minutes after the scheduled time, missing the daily update window for rupicola, and delaying https://github.com/coq/coq/pull/19310#issuecomment-2230078768 by 24 hours. In lieu of getting a cron that can actually keep time, I'll fudge this one just a bit for now. --- .github/dependabot.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/dependabot.yml b/.github/dependabot.yml index cb82b549e..2ebcfab5e 100644 --- a/.github/dependabot.yml +++ b/.github/dependabot.yml @@ -14,6 +14,6 @@ updates: directory: "/" schedule: interval: "daily" - time: "06:00" + time: "05:45" labels: - "submodules"