swh:1:snp:02443124ed4ee0d8d724fefd38bf9b271361cc09
Tip revision: 25441834a5e8891a4e3a2ea98db283fcb29047b5 authored by Jan-Michael Rye on 28 July 2023, 15:05:06 UTC
Add release job to GitLab CI
Add release job to GitLab CI
Tip revision: 2544183
.gitlab-ci.yml
pages:
artifacts:
paths:
- public
image: sphinxdoc/sphinx
only:
- main
script:
- apt -yq update
- apt -yq install git
- bash ./scripts/build_documentation.sh -i public
stage: deploy
tags:
- ci.inria.fr
- linux
- small
release_job:
image: registry.gitlab.com/gitlab-org/release-cli:latest
release:
description: Release $CI_COMMIT_TAG
tag_name: $CI_COMMIT_TAG
rules:
- if: $CI_COMMIT_TAG
script:
- echo "running release_job"
stage: release
tags:
- ci.inria.fr
- linux
- small
stages:
- release
- deploy