Only use dates as pypi doesn't like the SHA
parent
5ddf77419c
commit
ad0dff3a46
|
|
@ -40,10 +40,9 @@ jobs:
|
||||||
set -euo pipefail
|
set -euo pipefail
|
||||||
BASE_VERSION=$(grep -oP '(?<=version = ")[^"]+' Server/pyproject.toml)
|
BASE_VERSION=$(grep -oP '(?<=version = ")[^"]+' Server/pyproject.toml)
|
||||||
# Use date for unique dev version (PEP 440 compliant: X.Y.Z.devN)
|
# Use date for unique dev version (PEP 440 compliant: X.Y.Z.devN)
|
||||||
# Git SHA goes in local version identifier after +
|
# Note: PyPI/TestPyPI don't support local version identifiers (+...)
|
||||||
DEV_NUMBER="$(date +%Y%m%d%H%M)"
|
DEV_NUMBER="$(date +%Y%m%d%H%M%S)"
|
||||||
GIT_SHA="$(git rev-parse --short HEAD)"
|
DEV_VERSION="${BASE_VERSION}.dev${DEV_NUMBER}"
|
||||||
DEV_VERSION="${BASE_VERSION}.dev${DEV_NUMBER}+g${GIT_SHA}"
|
|
||||||
echo "Base version: $BASE_VERSION"
|
echo "Base version: $BASE_VERSION"
|
||||||
echo "Dev version: $DEV_VERSION"
|
echo "Dev version: $DEV_VERSION"
|
||||||
echo "dev_version=$DEV_VERSION" >> "$GITHUB_OUTPUT"
|
echo "dev_version=$DEV_VERSION" >> "$GITHUB_OUTPUT"
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue