summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Atkins <mart@degeneration.co.uk>2022-02-15 10:37:35 -0800
committerGitHub <noreply@github.com>2022-02-15 10:37:35 -0800
commit9a303ab9442bece5fd79549d0078951227a44e1a (patch)
tree8da4d97883c7111b033568242cf64df8c176c557
parentfc5f989c4f09c2d3225bf4e0e8c13759f0487e12 (diff)
build: Run per-commit checks for pull requests
-rw-r--r--.github/workflows/push.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index ef9a2f7..423ef28 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -3,6 +3,7 @@ name: Per-commit Checks
on:
push:
workflow_dispatch:
+ pull_request:
jobs:
unit_tests: