Fixing build issue where wrong version is used

The release process had selected the tag to use as the version
automatically. But, this presented a problem when a release
candidate and final release pointed to the same commit id. For a
long time it had automatically selected the final release. But,
we ran into a problem where it selected the RC tag instead of the
final release.

This change explicitly tells the build scripts the version to use
based on the tag passed into the CI run. It should no longer try
to self discover the version.

Closes #13040

Signed-off-by: Matt Farina <matt@mattfarina.com>
(cherry picked from commit 0b64775386)
release-3.15 v3.15.1
Matt Farina 7 months ago
parent c4e37b39db
commit e211f2aa62

@ -34,7 +34,7 @@ jobs:
run: |
set -eu -o pipefail
make build-cross
make build-cross VERSION="${{ github.ref_name }}"
make dist checksum VERSION="${{ github.ref_name }}"
- name: Set latest version

Loading…
Cancel
Save