diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7cee2de968bf567d9b01b4ea856a9e0b464c87f1..f5fae501298fc49616180b000578ee9574ce0c63 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -3,6 +3,7 @@ stages: - tests + - release ################################################################################ ### DEFAULT JOB PARAMETERS @@ -44,3 +45,17 @@ tests-manual: matrix: - LLVM_VERSION: [ "12", "13", "14", "15" ] when: manual + +################################################################################ +### TESTS + +release: + stage: release + variables: + CI_MODE: "release" + PLUGIN_FULL_NAME: "Frama-Clang" + REPO: "frama-clang" + RELEASE_OPTS: "--assume-yes" + script: + - ./nix/ci.sh + when: manual