Fix release tag format.

The release tag format change to a classic tag triplet format `\d.\d.\d`
to a custom one `r_\d`.
This commit is contained in:
Matthieu Gautier 2020-05-25 11:44:16 +02:00
parent ae8a9febb9
commit 040171129a
2 changed files with 2 additions and 2 deletions

View File

@ -34,7 +34,7 @@ KBUILD_SOURCE_DIR = HOME / "kiwix-build"
KIWIX_DESKTOP_ONLY = False KIWIX_DESKTOP_ONLY = False
_ref = _environ.get("GITHUB_REF", "").split("/")[-1] _ref = _environ.get("GITHUB_REF", "").split("/")[-1]
MAKE_RELEASE = re.fullmatch(r"[0-9]+\.[0-9]+\.[0-9]+", _ref) is not None MAKE_RELEASE = re.fullmatch(r"r_[0-9]+", _ref) is not None
PLATFORM_TO_RELEASE = { PLATFORM_TO_RELEASE = {
"native_mixed": "linux-x86_64", "native_mixed": "linux-x86_64",

View File

@ -3,7 +3,7 @@ name: Release&Nigthly
on: on:
push: push:
tags: tags:
- r_[0-9]+i - r_[0-9]+
schedule: schedule:
- cron: '0 1 * * *' - cron: '0 1 * * *'