add workflow_dispatch target to CI files

mulle-core · Apr 20, 2023 · d3f574d · d3f574d
1 parent 160ee13
commit d3f574d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 11 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
@@ -43,11 +41,6 @@ jobs:
     - name: Mulle-SDE Craft
       run: mulle-sde craft --${BUILD_TYPE:-release}
 
-    - name: Mulle-SDE Test Debug
-      run: |
-        mulle-sde test --debug
-
-    - name: Mulle-SDE Test Release
+    - name: Mulle-SDE Test
       run: |
-        mulle-sde test clean all
-        mulle-sde test --release
+        [ ! -d test ] || mulle-sde test
diff --git a/.mulle/share/sde/extension b/.mulle/share/sde/extension