build: Also allow explicitly running per-commit checks

This allows explicitly starting the workflow using the GitHub actions UI.
MahiBegoug · Feb 15, 2022 · fc5f989 · fc5f989
1 parent 4f56414
commit fc5f989
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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: