From 0952cfacf7fb8109eebb44e69f3706047ceb2912 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bern=C3=A1t=20G=C3=A1bor?= <gaborjbernat@gmail.com>
Date: Wed, 4 Nov 2026 14:42:02 -0800
Subject: [PATCH] =?UTF-8?q?=F0=9F=91=B7=20ci:=20run=20nightly=20checks=20i?=
 =?UTF-8?q?n=20the=20overnight=20window?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Scheduled checks started at fixed hours shared with the rest of the org,
so their runs competed for the same runner pools. Cron runs in UTC and
ignores daylight saving, so the slot 07:00 to 11:59 UTC falls between
11pm and 5am Pacific under both PST and PDT.

Each repo takes its own slot, eight minutes apart, so scheduled runs
start one at a time instead of in a burst.
---
 .github/workflows/check.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/check.yaml b/.github/workflows/check.yaml
index f32d1e1..77bf568 100644
--- a/.github/workflows/check.yaml
+++ b/.github/workflows/check.yaml
@@ -7,7 +7,7 @@ on:
   workflow_dispatch:
   # JetBrains moves platform APIs and deletes EAP artifacts between our commits, so build against them daily.
   schedule:
-    - cron: "0 8 * * *"
+    - cron: "55 8 * * *"
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
   cancel-in-progress: true