Merge pull request #60 from dvklopfenstein/run_workflow

Run workflow
dvklopfenstein · Oct 25, 2023 · f702191 · f702191
2 parents 8465321 + ce467ac
commit f702191
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,6 +1,7 @@
 name: build
 
 on: [push, pull_request]
+  workflow_dispatch:  # Add "Run workflow" button
 
 jobs:
   build: