.gitlab-ci.yml 1008 Bytes
Newer Older
Valentin Reis's avatar
Valentin Reis committed
1
2
stages:
  - source
3
  - build
Valentin Reis's avatar
Valentin Reis committed
4
  - docs
Valentin Reis's avatar
Valentin Reis committed
5

6
7
8
variables:
  NIX_PATH: "nixpkgs=./."

9
make:ormolu:
Valentin Reis's avatar
Valentin Reis committed
10
11
12
13
  stage: source
  tags:
    - kvm
    - nix
Valentin Reis's avatar
Valentin Reis committed
14
  script: nix-shell -p gnumake --run "make ormolu"
Valentin Reis's avatar
Valentin Reis committed
15

16
make:hlint:
Valentin Reis's avatar
Valentin Reis committed
17
18
19
20
  stage: source
  tags:
    - kvm
    - nix
Valentin Reis's avatar
Valentin Reis committed
21
  script: nix-shell -p gnumake --run "make hlint"
Valentin Reis's avatar
Valentin Reis committed
22

23
make:shellcheck:
Valentin Reis's avatar
Valentin Reis committed
24
25
26
27
  stage: source
  tags:
    - kvm
    - nix
Valentin Reis's avatar
Valentin Reis committed
28
  script: nix-shell -p gnumake --run "make shellcheck"
Valentin Reis's avatar
Valentin Reis committed
29

30
make:dhall-format:
31
  stage: source
Valentin Reis's avatar
Valentin Reis committed
32
33
34
  tags:
    - kvm
    - nix
Valentin Reis's avatar
Valentin Reis committed
35
  script: nix-shell -p gnumake --run "make dhall-format"
Valentin Reis's avatar
Valentin Reis committed
36

37
38
nix:package:
  stage: build
Valentin Reis's avatar
Valentin Reis committed
39
40
41
  tags:
    - kvm
    - nix
42
  script: nix-build -A hbandit --no-build-output
Valentin Reis's avatar
Valentin Reis committed
43

44
45
46
47
48
49

make:doc:
  stage: build
  tags:
    - kvm
    - nix
Valentin Reis's avatar
Valentin Reis committed
50
  script: nix-shell -p gnumake --run "make doc"
51

Valentin Reis's avatar
Valentin Reis committed
52
53
54
55
56
57
58
59
60
61
62
63
readthedocs:
  stage: docs
  when: on_success
  only:
    - master
    - staging
  tags:
    - kvm
    - nix
  script:
    - echo "token=$RTD_TOKEN"
    - nix run nixpkgs.curl -c curl --fail -X POST -d "token=$RTD_TOKEN" readthedocs.org/api/v2/webhook/hbandit/109499/