From 744f0671070a28ccb16187bb68608fce8c943538 Mon Sep 17 00:00:00 2001 From: Sebastian Rittau Date: Thu, 19 May 2022 19:54:18 +0200 Subject: [PATCH] Only run CI on pushes to main/master and pull requests Currently, when a maintainer opens a pull request from a branch in the typeshed repository (instead of a fork), CI is run twice: once for the PR and once for the push. This not only wastes CI minutes (and it seems we're running into some limits lately), but also makes CI output twice as large and more difficult to process. The disadvantage is that a PR needs to be opened to run CI. Alternatively, CI can be triggered manually. --- .github/workflows/tests.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 1b4bbc6dd40d..54b2c8709b61 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -3,6 +3,9 @@ name: Test on: workflow_dispatch: push: + branches: + - main + - master pull_request: permissions: