diff options
author | 2022-02-10 10:40:49 +0100 | |
---|---|---|
committer | 2022-02-10 10:40:49 +0100 | |
commit | a3aa3ace1c8801e05d050c8eb95c1218a6c3096b (patch) | |
tree | 8d124794ca059a4890bfc93c72e3364f058bd352 /.github | |
parent | a11cba66d4517ffa60beb0c08588472e04e5a7db (diff) | |
download | rtic-a3aa3ace1c8801e05d050c8eb95c1218a6c3096b.tar.gz rtic-a3aa3ace1c8801e05d050c8eb95c1218a6c3096b.tar.zst rtic-a3aa3ace1c8801e05d050c8eb95c1218a6c3096b.zip |
GHA: Print current crate version too
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/build.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 923c30f1..2e93a79f 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -463,8 +463,10 @@ jobs: # followed by MAJOR.MINOR.PATCH, see semver.org # Store first in array as stable stable=${vers} + crateversion={{ env.versionmajor }} - echo "Stable version: $stable" + echo "Latest stable version: $stable" + echo "Current crate version: $crateversion" # Create directories td=$(mktemp -d) @@ -481,7 +483,7 @@ jobs: # Create the redirects for dev-version # If the current stable and the version being built differ, # then there is a dev-version and the links should point to it. - if [[ "$stable" != "{{ env.versionmajor }}" ]]; + if [[ "$stable" != "$crateversion" ]]; then sed 's|URL|rtic/index.html|g' redirect.html > $td/$devver/api/index.html sed 's|URL|book/en|g' redirect.html > $td/$devver/index.html |