From c724cd130e706b3f758c285923c372a37a5daa97 Mon Sep 17 00:00:00 2001 From: Paulo Matos Date: Thu, 30 Apr 2020 14:43:03 +0200 Subject: [PATCH] Remove pull_request from on tag for ci-push For debug reasons I added pull_request to the on tag in #3119 but forgot to remove it and it went in https://github.com/racket/racket/commit/cd096e0e6ba1ea0f40daafa20b90f634142402de --- .github/workflows/ci-push.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci-push.yml b/.github/workflows/ci-push.yml index e890f5e820..56a45ecbee 100644 --- a/.github/workflows/ci-push.yml +++ b/.github/workflows/ci-push.yml @@ -1,6 +1,6 @@ name: CI -on: [push, pull_request] +on: [push] jobs: