From 0b146abeb1566ac730bbd0646c0646f782bb65d6 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 14 Jan 2021 15:04:45 +0100
Subject: [PATCH] chore: CI: don't schedule nightlies on forks

---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 69562ba351..f2816a0395 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -13,6 +13,8 @@ on:
 
 jobs:
   Build:
+    # don't schedule nightlies on forks
+    if: github.event_name != 'schedule' || github.repository == 'leanprover/lean4'
     runs-on: ${{ matrix.os }}
     defaults:
       run: