From 22a70bbf2ade572c700b28f130af74b13ca62954 Mon Sep 17 00:00:00 2001
From: Vincent Lafeychine <vincent.lafeychine@proton.me>
Date: Wed, 17 Apr 2024 11:58:23 +0200
Subject: [PATCH] feat(ci): Add 'cargo test' job
---
.gitlab-ci.yml | 14 +++++++++++++-
1 file changed, 13 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4a2c3569..c38d58bc 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -64,24 +64,28 @@ nix-cache:
clippy:
stage: lint
+ needs: [ "nix-cache" ]
script:
- cd rr_frontend
- nix develop -c cargo clippy --all-targets --all-features --no-deps
fmt:
stage: lint
+ needs: [ "nix-cache" ]
script:
- cd rr_frontend
- nix develop -c cargo fmt --check
theories:
stage: build
+ needs: [ "nix-cache" ]
variables:
NIX_DERIVATION: .#theories
extends: .build_to_artifacts
frontend:
stage: build
+ needs: [ "nix-cache" ]
variables:
NIX_DERIVATION: .#frontend
extends: .build_to_artifacts
@@ -93,8 +97,16 @@ stdlib:
NIX_DERIVATION: .#stdlib
extends: .build_to_artifacts
-tests:
+frontend-tests:
stage: tests
+ needs: [ "frontend" ]
+ script:
+ - cd rr_frontend
+ - nix develop -c cargo test
+
+case_studies:
+ stage: tests
+ needs: [ "stdlib" ]
script:
- nix shell -c nix run nixpkgs#gnumake -- setup-nix
- nix shell -c nix run nixpkgs#gnumake -- generate_stdlib
--
GitLab