Newer
Older
################################################################################
### STAGES
################################################################################
### DEFAULT JOB PARAMETERS
default:
################################################################################
### VARIABLES
variables:
################################################################################
### 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"
variables:
CI_MODE: "check-opam"
DEFAULT: "plugin-release-script"
- ./nix/ci.sh
check-opam:
<<: *opam_template
except:
- schedules
when: manual
check-opam-nightly:
<<: *opam_template
only:
- schedules
################################################################################
### RELEASE
release:
stage: release
needs:
- check-opam
CI_MODE: "release"
PLUGIN_FULL_NAME: "MetAcsl"
REPO: "meta"
RELEASE_OPT: "--assume-yes"
DEFAULT: "plugin-release-script"