Merge 0efa5de into aa7d449

containerbuildsystem · Jan 5, 2022 · 133014e · 133014e
2 parents aa7d449 + 0efa5de
commit 133014e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/gating.yaml b/.github/workflows/gating.yaml
@@ -5,6 +5,8 @@ on:
   push:
     branches:
       - master
+  workflow_dispatch:
+    inputs: {}
 
 jobs:
   tests: