add workflow_dispatch target to CI files

mulle-objc · Apr 20, 2023 · 889a8c9 · 889a8c9
1 parent f041957
commit 889a8c9
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/.github/workflows/mulle-sde-ci.yml b/.github/workflows/mulle-sde-ci.yml
@@ -1,6 +1,6 @@
 name: CI
 
-on: [push]
+on: [push,workflow_dispatch]
 
 env:
   BUILD_TYPE: release
@@ -27,15 +27,12 @@ jobs:
     - name: Dump Environment
       run:  env | sort
 
-    - uses: actions/checkout@v2
-
+    - uses: actions/checkout@v3
 
     - uses: mulle-sde/github-ci@v1
 
-
     - uses: mulle-cc/github-ci@v4
 
-
     - name: Dump Project Environment
       run:  |
         [ ! -d .mulle/etc/env ] || ls -l .mulle/etc/env/environment*.sh

diff --git a/.mulle/share/sde/extension b/.mulle/share/sde/extension