Improve CI runtime

Ref. eng/recordflux/RecordFlux#1449
AdaCore · Nov 7, 2023 · 1ad07f4 · 1ad07f4
1 parent 6a915fc
commit 1ad07f4
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 5 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -169,22 +169,39 @@ code_generation:
 .update_timestamps_of_generated_code: &update_timestamps_of_generated_code
     - touch examples/apps/*/build/generated/*
 
-tests:
+tests_rflx:
+  extends: .testing
+  needs:
+    - setup
+    - code_generation
+  services:
+     - image:recordflux
+     - cpu:8
+     - mem:16
+  script:
+    - git fetch --unshallow
+    - *update_timestamps_of_generated_code
+    - *setup_gnat
+    - *setup_gnat_cross
+    - *setup_python
+    - make test_rflx
+
+tests_examples:
   extends: .testing
   needs:
     - setup
     - code_generation
   services:
      - image:recordflux
      - cpu:4
-     - mem:32
+     - mem:16
   script:
     - git fetch --unshallow
     - *update_timestamps_of_generated_code
     - *setup_gnat
     - *setup_gnat_cross
     - *setup_python
-    - make test
+    - make test_examples
 
 python_compatibility:
   extends: .testing

diff --git a/Makefile b/Makefile
@@ -119,9 +119,13 @@ check_contracts:
 check_doc:
 	tools/check_doc.py -d doc -x doc/user_guide/gfdl.rst
 
-.PHONY: test test_coverage test_unit_coverage test_property test_tools test_ide test_optimized test_compilation test_binary_size test_specs test_installation test_apps
+.PHONY: test test_rflx test_examples test_coverage test_unit_coverage test_property test_tools test_ide test_optimized test_compilation test_binary_size test_installation test_specs test_apps
 
-test: test_coverage test_unit_coverage test_language_coverage test_property test_tools test_ide test_optimized test_compilation test_binary_size test_specs test_installation test_apps
+test: test_rflx test_examples
+
+test_rflx: test_coverage test_unit_coverage test_language_coverage test_property test_tools test_ide test_optimized test_compilation test_binary_size test_installation
+
+test_examples: test_specs test_apps
 
 # A separate invocation of `coverage report` is needed to exclude `$(GENERATED_DIR)` in the coverage report.
 # Currently, pytest's CLI does not allow the specification of omitted directories