Newer
Older
################################################################################
### STAGES
################################################################################
### DEFAULT JOB PARAMETERS
default:
################################################################################
### VARIABLES
variables:
################################################################################
### ONLY/EXCEPT TEMPLATES
.build_template: &manual_template
except:
refs:
- schedules
when: manual
.build_template: &when_schedules
only:
refs:
- schedules
.build_template: &when_release
only:
variables:
- $RELEASE == "yes"
################################################################################
### TESTS
build-and-test:
stage: tests
script:
- ./nix/ci.sh
################################################################################
### Distrib
variables:
CI_MODE: "check-headers"
script:
- ./nix/ci.sh
lint:
################################################################################
### COMPATIBILITY
.build_template: &opam_template
tags: [docker]
image: "ocaml/opam:ubuntu-lts-ocaml-$OCAML"
- ./nix/ci.sh
check-opam:
<<: *opam_template
<<: *when_schedules
check-opam-release:
<<: *opam_template
<<: *when_release
################################################################################
### RELEASE
release:
<<: *manual_template
<<: *when_release
CI_MODE: "release"
PLUGIN_FULL_NAME: "MetAcsl"
REPO: "meta"
RELEASE_OPT: "--assume-yes"