From 96dafb592a23e5010358a29f4fcbab1467bbbd09 Mon Sep 17 00:00:00 2001 From: Christoph Knittel Date: Mon, 20 Jun 2022 12:58:22 +0200 Subject: [PATCH] Run CI build on push to master, too --- .github/workflows/ci.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index dd905d8..4412523 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,6 +2,8 @@ name: CI on: push: + branches: + - master tags: - v* pull_request: