.gitlab-ci.yml

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

stages:
  - tests
  - distrib
  - compatibility
  - release

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

default:
  tags: [nix-v2]

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

variables:
  DEFAULT: "stable/zinc"
  OCAML: "4.14"

################################################################################
### 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

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"
  script:
    - ./nix/ci.sh

check-opam:
  <<: *opam_template
  <<: *manual_template

check-opam-nightly:
  <<: *opam_template
  <<: *when_schedules

check-opam-release:
  <<: *opam_template
  <<: *when_release

################################################################################
### RELEASE

release:
  <<: *manual_template
  <<: *when_release
  stage: release
  variables:
    CI_MODE: "release"
    PLUGIN_FULL_NAME: "MetAcsl"
    REPO: "meta"
    RELEASE_OPT: "--assume-yes"
  script:
    - ls -la
    - ./nix/ci.sh