From 272c6ebdf1ea8f903e024c5f2d86a509cf86acb3 Mon Sep 17 00:00:00 2001
From: Chris Lovett <clovett@microsoft.com>
Date: Tue, 2 Aug 2022 02:08:23 -0700
Subject: [PATCH] chore: CI: remove TPIL trigger

now a cronjob
---
 .github/workflows/ci.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2b4f224347..58c6f04bdc 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -188,10 +188,6 @@ jobs:
         with:
           name: build-${{ matrix.name }}
           path: pack/*
-      - name: Trigger TPIL build
-        run: |
-          curl -u '${{ github.repository_owner }}:${{ secrets.PUSH_NIGHTLY_TOKEN }}' 'https://api.github.com/repos/leanprover/theorem_proving_in_lean4/dispatches' -X POST -d '{ "event_type": "build_event" }'
-        if: matrix.name == 'Linux release' && github.event_name == 'push' && github.repository == 'leanprover/lean4'
       - name: Lean stats
         run: |
           build/stage1/bin/lean --stats src/Lean.lean