Update revision number

This commit is contained in:
Andrea Cavalli 2023-05-09 12:19:17 +02:00
parent 77d0770a59
commit 9f0a1760e2
1 changed files with 1 additions and 1 deletions

View File

@ -54,7 +54,7 @@ jobs:
run: |
set -xeo pipefail
# ====== Variables
export REVISION=${{ github.run_number }}
export REVISION=4.0.${{ github.run_number }}
export GH_MATRIX_OS=${{ matrix.os }}
export GH_MATRIX_ARCH=${{ matrix.arch }}
export IMPLEMENTATION_NAME=${{ matrix.implementation }}