From fbd1c3cff48e4fb4dcd8f7d264042993552ff3d4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= Date: Tue, 8 Aug 2023 13:53:08 +0200 Subject: [PATCH] ci: actually check pull_request merge instead of push --- .gitea/workflows/check.yaml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitea/workflows/check.yaml b/.gitea/workflows/check.yaml index 314910485..73083a8ee 100644 --- a/.gitea/workflows/check.yaml +++ b/.gitea/workflows/check.yaml @@ -1,6 +1,8 @@ name: build on: + pull_request: push: + branches: main jobs: test: runs-on: nix