Merge branch 'topic/ci-edge' into 'edge'

Use the edge qualifier when building vscode-extension in CI

See merge request eng/ide/ada_language_server!1970

Author: eliericha

.gitlab-ci.plan

@@ -1,7 +1,7 @@
 def build_(qualifier={}):
     with defaults(qualifier=qualifier):
         anod_build("als")
-        anod_build("vscode-extension", qualifier={"mono-plat": True})
+        anod_build("vscode-extension", qualifier={"mono-plat": True} | qualifier)
 
 
 def test_als_(qualifier={}):

.gitlab-ci.yml

@@ -69,10 +69,10 @@ include:
       cpus: 4
       disk: 80
       windows: true
-      rules:
-        # Does not work on edge
-        - if: $CI_PIPELINE_SOURCE == 'merge_request_event' && $CI_TARGET_BRANCH_NAME != 'edge'
-          allow_failure: true
+    rules:
+      # integration-testsuite cannot work with edge builds
+      - if: $CI_PIPELINE_SOURCE == 'merge_request_event' && $CI_TARGET_BRANCH_NAME == 'edge'
+        when: never
 
   # Optional testing of GNAT Studio
   - component: $CI_SERVER_FQDN/eng/gitlab-templates/test@~latest