Add Workflow dispatch for docker builds

2022-03-31 14:14:34 -04:00 · 2022-03-31 14:14:34 -04:00 · d24a49ef03
commit d24a49ef03
parent 102f874c63
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/on-master.yaml
+++ b/.github/workflows/on-master.yaml
@ -1,6 +1,7 @@
 name: Docker Build and publish to Github

 on:
+  workflow_dispatch:
  push:
    branches:
      - statediff