swh:1:snp:02443124ed4ee0d8d724fefd38bf9b271361cc09
Tip revision: dd1769c283eb3b72bd00f13d91b42d5540212a7d authored by Jan-Michael Rye on 25 September 2023, 12:12:20 UTC
Pad fingerprint indices with zeros
Pad fingerprint indices with zeros
Tip revision: dd1769c
.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