diff options
-rw-r--r-- | .gitlab-ci.yml | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0d513ef..fd46f23 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,25 +1,17 @@ +--- -check: +build: # 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 + +pages: only: - main |