commit 0fe0b3ba1640d6e4efc5e0aff0d80eb5add693a1
parent 1334a18d7159c25a07fd2ab62bbd96efbfe17d98
Author: David Auer <dreua@posteo.de>
Date: Fri, 20 Jan 2023 08:50:45 +0100
Revert "gha: Avoid duplicate runs"
This reverts commit 7560beea4b610d1ad4cda55b21bed2eb25d16bc4.
Those will duplicate in some cases but that's okay.
We need to have the on.pr because otherwise the run will not be
displayed in PRs.
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -2,6 +2,7 @@ name: Build cnping
on:
push:
+ pull_request:
jobs:
Build-for-Linux: