add workflow_dispatch target to CI files

mulle-concurrent · Apr 20, 2023 · 8483dc7 · 8483dc7
1 parent b1bfbf5
commit 8483dc7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 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
@@ -26,12 +26,10 @@ jobs:
     - name: Dump Environment
       run:  env | sort
 
-    - uses: actions/checkout@v2
-
+    - uses: actions/checkout@v3
 
     - uses: mulle-sde/github-ci@v1
 
-
     - 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