fix destroyed CI file by mistaken freshen

Author: mulle-nat

.github/workflows/mulle-sde-ci.yml

@@ -7,9 +7,11 @@ on:
   pull_request:
   workflow_dispatch:
 
+
 env:
   BUILD_TYPE: release
-  OTHER_PROJECTS: "mulle-c/mulle-c-developer;"
+  OTHER_PROJECTS: "mulle-objc/mulle-objc-developer;
+mulle-c/mulle-c-developer;"
 
 jobs:
   build:
@@ -30,11 +32,13 @@ jobs:
 
     - name: Dump Environment
       run:  env | sort
-
+      
     - 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