Skip to content
Snippets Groups Projects
Commit 6c8524d2 authored by Thibault Martin's avatar Thibault Martin Committed by Virgile Prevosto
Browse files

[ci] Update ci targets, add linting target and opam nightly

parent e62fc25c
No related branches found
No related tags found
No related merge requests found
...@@ -3,6 +3,8 @@ ...@@ -3,6 +3,8 @@
stages: stages:
- tests - tests
- distrib
- compatibility
- prepare-release - prepare-release
- release - release
...@@ -20,14 +22,26 @@ variables: ...@@ -20,14 +22,26 @@ variables:
OCAML: "4.14" OCAML: "4.14"
################################################################################ ################################################################################
### TESTS ### ONLY/EXCEPT TEMPLATES
check-headers: .build_template: &manual_template
stage: prepare-release except:
variables: refs:
CI_MODE: "check-headers" - schedules
script: when: manual
- ./nix/ci.sh
.build_template: &when_schedules
only:
refs:
- schedules
.build_template: &when_release
only:
variables:
- $RELEASE == "yes"
################################################################################
### TESTS
.build_template: &tests_template .build_template: &tests_template
stage: tests stage: tests
...@@ -42,26 +56,51 @@ tests-auto: ...@@ -42,26 +56,51 @@ tests-auto:
tests-manual: tests-manual:
<<: *tests_template <<: *tests_template
<<: *manual_template
parallel: parallel:
matrix: matrix:
- LLVM_VERSION: [ "13", "14", "15", "16", "17" ] - LLVM_VERSION: [ "13", "14", "15", "16", "17" ]
when: manual
################################################################################
### DISTRIB
check-headers:
stage: distrib
variables:
CI_MODE: "check-headers"
script:
- ./nix/ci.sh
################################################################################ ################################################################################
### CHECK OPAM PACKAGE STATUS ### CHECK OPAM PACKAGE STATUS
check-opam: .build_template: &opam_template
tags: [docker] tags: [docker]
image: "ocaml/opam:ubuntu-lts-ocaml-$OCAML" image: "ocaml/opam:ubuntu-lts-ocaml-$OCAML"
stage: prepare-release stage: compatibility
variables: variables:
CI_MODE: "check-opam" CI_MODE: "check-opam"
EXTRA_PACKAGES: "clang libclang-dev libclang-cpp-dev llvm-dev" EXTRA_PACKAGES: "clang libclang-dev libclang-cpp-dev llvm-dev"
script: script:
- ./nix/ci.sh - ./nix/ci.sh
when: manual
check-opam:
<<: *opam_template
<<: *manual_template
check-opam-nightly:
<<: *opam_template
<<: *when_schedules
check-opam-release:
<<: *opam_template
<<: *when_release
################################################################################
### PRE-RELEASE
make-manual: make-manual:
<<: *when_release
stage: prepare-release stage: prepare-release
variables: variables:
OUT: "manual" OUT: "manual"
...@@ -73,6 +112,7 @@ make-manual: ...@@ -73,6 +112,7 @@ make-manual:
- ./nix/ci.sh - ./nix/ci.sh
check-versions: check-versions:
<<: *when_release
stage: prepare-release stage: prepare-release
variables: variables:
CI_MODE: "check-versions" CI_MODE: "check-versions"
...@@ -83,12 +123,8 @@ check-versions: ...@@ -83,12 +123,8 @@ check-versions:
### RELEASE ### RELEASE
release: release:
<<: *when_release
stage: release stage: release
needs:
- check-opam
- make-manual
dependencies:
- make-manual
variables: variables:
CI_MODE: "release" CI_MODE: "release"
PLUGIN_FULL_NAME: "Frama-Clang" PLUGIN_FULL_NAME: "Frama-Clang"
...@@ -99,4 +135,3 @@ release: ...@@ -99,4 +135,3 @@ release:
- ls -la - ls -la
- ls manual - ls manual
- ./nix/ci.sh - ./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