Merge pull request #471 from DrTimothyAldenDavis/dev

update single branch from dev
DrTimothyAldenDavis · Oct 27, 2023 · 14652c9 · 14652c9
2 parents 4c43add + 2ad670a
commit 14652c9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build-arch-emu.yaml b/.github/workflows/build-arch-emu.yaml
@@ -1,5 +1,6 @@
 name: arch-emu
 on:
+  workflow_dispatch:
   push:
     branches-ignore:
       - '**/dev2'