Fix push workflow

.github/workflows/build_push.yml

@@ -46,6 +46,8 @@ jobs:
 
       - name: Generate sources from the multi-source library
         uses: eskatos/gradle-command-action@v1
+        env:
+          CI_PUSH: "true"
         with:
           build-root-directory: master
           wrapper-directory: master
@@ -56,6 +58,8 @@ jobs:
 
       - name: Build extensions
         uses: eskatos/gradle-command-action@v1
+        env:
+          CI_PUSH: "true"
         with:
           build-root-directory: master
           wrapper-directory: master

settings.gradle.kts

@@ -10,7 +10,7 @@ project(":duktape-stub").projectDir = File("lib/duktape-stub")
 include(":lib-dataimage")
 project(":lib-dataimage").projectDir = File("lib/dataimage")
 
-if (System.getenv("CI") == null) {
+if (System.getenv("CI") == null || System.getenv("CI_CI_PUSHPUSH") == "true") {
     // Local development
 
     include(":multisrc")