ci: Add windows-installer job

+ Remove legacy jobs
diskuv · Nov 23, 2023 · 2b3182a · 2b3182a
1 parent 90d8e64
commit 2b3182a
Show file tree

Hide file tree

Showing 6 changed files with 9 additions and 377 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -18,5 +18,3 @@ include:
   - local: .gitlab/ci/pages.gitlab-ci.yml
   - local: .gitlab/ci/test.gitlab-ci.yml
   - local: .gitlab/ci/windows.gitlab-ci.yml
-  - local: .gitlab/ci/windows-package-ocaml.gitlab-ci.yml
-  - local: .gitlab/ci/windows-test-setupuserprofile.gitlab-ci.yml
diff --git a/.gitlab/ci/oorepo/setup-fetch.sh b/.gitlab/ci/oorepo/setup-fetch.sh
diff --git a/.gitlab/ci/test.gitlab-ci.yml b/.gitlab/ci/test.gitlab-ci.yml
@@ -7,3 +7,11 @@ test:
   - make -C contributors html ; make -C contributors html O="-W"
   rules:
     - if: '$CI_COMMIT_BRANCH == "main"'
+
+windows-installer:
+  extends:
+    - .windows:before-script-shared-setupmachine
+  stage: test
+  script:
+  - cmake build
+  - cmake --build build --target Package-Stage07-Installer
diff --git a/.gitlab/ci/windows-package-ocaml.gitlab-ci.yml b/.gitlab/ci/windows-package-ocaml.gitlab-ci.yml
diff --git a/.gitlab/ci/windows-test-setupuserprofile.gitlab-ci.yml b/.gitlab/ci/windows-test-setupuserprofile.gitlab-ci.yml