aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
blob: 0d513ef918bf19e9f366158e388cae9438c3f29e (plain)
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
check:
  # Chosen more or less arbitrarily.
  image: hrektts/mdbook
  script:
    - apt-get update && apt-get install -y python3 git
    - ./proposals/check_index
    - ./build_html.sh

# TODO:
# There is way too much duplication here with "check".
#
# We should remove this once we are uploading to spec.tpo.
#
pages:
  image: hrektts/mdbook
  script:
    - apt-get update && apt-get install -y python3
    - ./build_html.sh
    - mv html public
  artifacts:
    paths:
      - public
  only:
    - main