commit 4487c16c8e72c24d62da589a7bf7c1e3666013a6
parent 4555a608946d7ecee68082b1c5cdde2557ba4455
Author: Florian Bruhin <me@the-compiler.org>
Date: Tue, 26 Jan 2021 18:35:38 +0100
ci: Run on pull requests (#27)
Right now the CI is configured to only run on pushes (to this repository), but not on PRs (from another repository).
The downside of this is that PRs for a branch in this repository will run twice. If you only push directly to e.g. master, it might be worth adjusting that - also see https://github.community/t/how-to-trigger-an-action-on-push-or-pull-request-but-not-both/16662
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,6 +4,7 @@ on:
release:
types: [created]
push:
+ pull_request:
schedule:
# Runs every Thursday at 20:23 GMT to avoid bit rot
- cron: "20 23 * * 4"
