From c194e5ccefb49c92b0be1bf9248d647aba1b5d95 Mon Sep 17 00:00:00 2001 From: Maxim Koltsov Date: Wed, 12 Jul 2023 10:32:30 +0300 Subject: [PATCH] Run CI on push only to master --- .github/workflows/master.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml index e77edf2e0..c4a68ca2b 100644 --- a/.github/workflows/master.yml +++ b/.github/workflows/master.yml @@ -3,6 +3,8 @@ name: CI on: pull_request: push: + branches: + - master jobs: cabal: