Update gitea workflow

diff --git a/.gitea/workflows/publish_wasm.yaml b/.gitea/workflows/publish_wasm.yaml
index 167e6282cf0f91f6e5c4886c76788127f1a90b7c..7959613e047f4ec44ced4af258725165e61f52ab 100644 (file)
--- a/.gitea/workflows/publish_wasm.yaml
+++ b/.gitea/workflows/publish_wasm.yaml
@@ -4,9 +4,16 @@ on:
   push:
     branches:
       - 'main'
+      - 'devel'
 
 jobs:
-  Build-And-Deploy:
+  Build-And-Deploy-main:
+    if: github.ref_name == 'main'
     runs-on: archLinux
     steps:
-      - run: cd && ./build_and_deploy_jumpartifact.com_demo_0.sh
+      - run: cd && flock ./build_lock bash ./build_and_deploy_jumpartifact.com_demo_0.sh
+  Build-And-Deploy-devel:
+    if: github.ref_name == 'devel'
+    runs-on: archLinux
+    steps:
+      - run: cd && flock ./build_lock bash ./build_and_deploy_jumpartifact.com_demo_0_devel.sh