add kripke on tioga job

LLNL · Oct 22, 2024 · 7559acf · 7559acf
1 parent 7ab0583
commit 7559acf
Showing 1 changed file with 30 additions and 0 deletions.
diff --git a/.gitlab/ci/test.yml b/.gitlab/ci/test.yml
@@ -109,3 +109,33 @@ test_run:
     - ramble --workspace-dir . --disable-progress-bar --disable-logger workspace setup
     # Run Saxpy Experiments
     - ramble --workspace-dir . --disable-progress-bar --disable-logger on
+
+test_run_kripke:
+  stage: test
+  tags:
+    - tioga
+    - shell
+  rules:
+    - changes:
+        - .gitlab-ci.yml
+        - .gitlab/ci/*
+        - experiments/**
+        - systems/**
+        - repo/**
+        - modifiers/**
+        - var/**
+        - lib/**
+  script:
+    - . /usr/workspace/benchpark-dev/benchpark-venv/$SYS_TYPE/bin/activate
+    # Initialize system & experiment
+    - ./bin/benchpark system init --dest=tioga-system tioga ~gtl
+    - ./bin/benchpark experiment init --dest=kripke-benchmark kripke
+    # Build Kripke Workspace
+    - ./bin/benchpark setup kripke-benchmark tioga-system workspace/
+    # Setup Ramble & Spack
+    - . workspace/setup.sh
+    # Setup Kripke Workspace
+    - cd ./workspace/kripke-benchmark/Tioga-975af3c/workspace/
+    - ramble --workspace-dir . --disable-progress-bar --disable-logger workspace setup
+    # Run Kripke Experiments
+    - ramble --workspace-dir . --disable-progress-bar --disable-logger on