diff options
| author | Martin Atkins <mart@degeneration.co.uk> | 2022-02-15 10:35:30 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-15 10:35:30 -0800 |
| commit | fc5f989c4f09c2d3225bf4e0e8c13759f0487e12 (patch) | |
| tree | d9f002df5e12b479c9cde85fc663dc5d4deac0a6 /.github | |
| parent | 4f56414b15e95cf505ae31bfecba9a538cc78c31 (diff) | |
build: Also allow explicitly running per-commit checks
This allows explicitly starting the workflow using the GitHub actions UI.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/push.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index a28f8f8..ef9a2f7 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -2,6 +2,7 @@ name: Per-commit Checks on: push: + workflow_dispatch: jobs: unit_tests: |