Skip to content
Snippets Groups Projects
Commit 31d5f691 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[ci] prepare release target

parent d85046d4
No related branches found
No related tags found
No related merge requests found
......@@ -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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment