Increase CI memory for check_doc

Ref. eng/recordflux/RecordFlux#958
AdaCore · Jan 24, 2024 · be4ad5b · be4ad5b
1 parent 45e7526
commit be4ad5b
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -136,7 +136,7 @@ checks:
   services:
      - image:recordflux
      - cpu:2
-     - mem:4
+     - mem:8
   script:
     - *setup_gnat
     - *setup_python
@@ -396,10 +396,11 @@ html_documentation:
   extends: .testing
   services:
      - image:recordflux
+     - mem:8
   script:
     - *setup_gnat
     - *setup_python
-    - make html_doc
+    - make build_html_doc
   artifacts:
     expose_as: "HTML documentation"
     paths:
@@ -410,10 +411,11 @@ pdf_documentation:
   extends: .testing
   services:
      - image:recordflux
+     - mem:8
   script:
     - *setup_gnat
     - *setup_python
-    - make pdf_doc
+    - make build_pdf_doc
   artifacts:
     expose_as: "PDF documentation"
     paths: