From 5e5c01970486e4e7cb710e3aed6937f948521ea5 Mon Sep 17 00:00:00 2001 From: Daniel Siepmann Date: Tue, 13 Apr 2021 15:23:49 +0200 Subject: [PATCH] Do not run CI on push The steps are only necessary to check changes before merging. Everyone always creates pull requests. Therefore no need to run in push in addition to PR. --- .github/workflows/ci.yaml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 5c3fc82..8d1b52e 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -1,6 +1,5 @@ name: CI on: - - push - pull_request jobs: check-composer: