node-replicated-kernel/.gitlab-ci.yml at master · shpark/node-replicated-kernel · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
stages:
  - build
  - run
  - test
  - document
  - bench

before_script:
  # Add SSH key
  - bash setup.sh
  - rustup --version
  - rustc --version
  - cargo --version
  #- cargo +nightly fmt --version
  #- sed -i'' -e 's/git@github.com:/https:\/\/github.com\//' .gitmodules
  # Leave node-replication alone for the moment:
  - sed -i'' -e '/git@github.com:gz\/node-replication.git/!s/git@github.com:/https:\/\/github.com\//' .gitmodules
  - git submodule update --init --recursive

build:
  stage: build
  script:
    - cd kernel
    - RUST_TARGET_PATH=`pwd`/src/arch/x86_64 xargo build -v --target=x86_64-nrk
  variables:
    GIT_STRATEGY: fetch

run-qemu:
  stage: run
  script:
    - cd kernel
    - python3 run.py --cmd log=trace
  dependencies:
    - build
  variables:
    GIT_STRATEGY: fetch

run-unix:
  stage: run
  script:
    - cd kernel
    - cargo run
  dependencies:
    - build
  variables:
    GIT_STRATEGY: fetch

test:
  stage: test
  script:
    - cargo fmt -- --check
    - cd kernel
    - RUST_TEST_THREADS=1 cargo test --features smoke
    - cd ..
  dependencies:
    - build
  variables:
    GIT_STRATEGY: fetch

benchmark:skylake2x:
  stage: bench
  script:
    - bash scripts/ci.bash
  dependencies:
    - test
  variables:
    GIT_STRATEGY: fetch
  tags:
    - skylake2x

benchmark:skylake4x:
  stage: bench
  script:
    - bash scripts/ci.bash
  dependencies:
    - test
  variables:
    GIT_STRATEGY: fetch
  tags:
    - skylake4x

docs:
  stage: document
  script:
    - source ~/.cargo/env
    - cd doc
    - mdbook build -d ../book
    - cd ..
    - git clone -b master git@github.com:gz/bespin-benchmarks.git gh-pages
    - cd gh-pages
    - rm -rf ./book
    - mv ../book ./
    - git add .
    - git commit -a -m "Added documentation." || true
    - git push origin master || true
    - cd ..
    - rm -rf gh-pages/ book/
  dependencies:
    - build
  variables:
    GIT_STRATEGY: fetch
  only: ['master']