diff options
-rw-r--r-- | .gitlab-ci.yml | 22 |
1 files changed, 8 insertions, 14 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0d513ef..3f37e01 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,25 +1,19 @@ +--- -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 - only: - - main + +include: + project: tpo/tpa/ci-templates + file: + #- static-shim-deploy.yml + - pages-deploy.yml |