chore: fix CI for the leanprover -> leanprover-community move (#785)

leanprover-community · May 7, 2024 · a89cfe9 · a89cfe9
1 parent 56d2e4e
commit a89cfe9
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/merge_conflicts.yml b/.github/workflows/merge_conflicts.yml
@@ -6,7 +6,7 @@ on:
 
 jobs:
   main:
-    if: github.repository_owner == 'leanprover'
+    if: github.repository_owner == 'leanprover-community'
     runs-on: ubuntu-latest
     steps:
       - name: check if prs are dirty

diff --git a/.github/workflows/nightly_bump_toolchain.yml b/.github/workflows/nightly_bump_toolchain.yml
@@ -8,7 +8,7 @@ on:
 
 jobs:
   update-toolchain:
-    if: github.repository_owner == 'leanprover'
+    if: github.repository_owner == 'leanprover-community'
     runs-on: ubuntu-latest
 
     steps:

diff --git a/.github/workflows/nightly_merge_master.yml b/.github/workflows/nightly_merge_master.yml
@@ -9,7 +9,7 @@ on:
 
 jobs:
   merge-to-nightly:
-    if: github.repository_owner == 'leanprover'
+    if: github.repository_owner == 'leanprover-community'
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repository