Add trigger to kick off the webide child ci pipeline

.gitlab-ci.yml

@@ -7,6 +7,7 @@ variables:
 
 stages:
   - test
+  - ide
   - build_and_package_binaries
   - build_docker
   - build_and_deploy_docker
@@ -141,7 +142,7 @@ build-and-package-debian-9:
   <<: *docker
   # To run in sequence and save CPU usage, use stage: build_and_package_binaries
   stage: test
-  variables: 
+  variables:
     target_os_family: "debian"
     target_os: "debian"
     target_os_version: "9"
@@ -153,7 +154,7 @@ build-and-package-debian-10:
   <<: *docker
   # To run in sequence and save CPU usage, use stage: build_and_package_binaries
   stage: test
-  variables: 
+  variables:
     target_os_family: "debian"
     target_os: "debian"
     target_os_version: "10"
@@ -169,7 +170,7 @@ build-and-package-ubuntu-18-04:
   <<: *docker
   # To run in sequence and save CPU usage, use stage: build_and_package_binaries
   stage: test
-  variables: 
+  variables:
     target_os_family: "debian"
     target_os: "ubuntu"
     target_os_version: "18.04"
@@ -181,7 +182,7 @@ build-and-package-ubuntu-19-04:
   <<: *docker
   # To run in sequence and save CPU usage, use stage: build_and_package_binaries
   stage: test
-  variables: 
+  variables:
     target_os_family: "debian"
     target_os: "ubuntu"
     target_os_version: "19.04"
@@ -189,6 +190,13 @@ build-and-package-ubuntu-19-04:
   only:
     - dev
 
+
+trigger-webide:
+  stage: ide
+  trigger:
+    include: tools/webide/webide-ci.yml
+
+
 # Pages are deployed from dev, be careful not to override 'next'
 # in case something gets merged into 'dev' while releasing.
 pages: