.gitlab-ci.yml

################################################################################
### STAGES

stages:
  - tests
  - distrib
  - compatibility
  - release

################################################################################
### DEFAULT JOB PARAMETERS

default:
  tags: [nix-v2]

################################################################################
### VARIABLES

variables:
  DEFAULT: "master"
  OCAML: "4.14"

################################################################################
### TESTS

build-and-test:
  stage: tests
  script:
    - ./nix/ci.sh

################################################################################
### Distrib

check-headers:
  stage: distrib
  variables:
    CI_MODE: "check-headers"
  script:
    - ./nix/ci.sh

lint:
  stage: distrib
  variables:
    CI_MODE: "lint"
  script:
    - ./nix/ci.sh

################################################################################
### COMPATIBILITY

.build_template: &opam_template
  tags: [docker]
  image: "ocaml/opam:ubuntu-lts-ocaml-$OCAML"
  stage: compatibility
  variables:
    CI_MODE: "check-opam"
    DEFAULT: "plugin-release-script"
  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
  variables:
    CI_MODE: "release"
    PLUGIN_FULL_NAME: "MetAcsl"
    REPO: "meta"
    RELEASE_OPT: "--assume-yes"
    DEFAULT: "plugin-release-script"
  script:
    - ls -la
    - ./nix/ci.sh
  when: manual