Skip to content

Merge pull request #139 from gamer191/fix-cache #8

Merge pull request #139 from gamer191/fix-cache

Merge pull request #139 from gamer191/fix-cache #8

Workflow file for this run

name: Update floating tag
on:
push:
tags:
# Only match vXX.YY.ZZ tags
- 'v[0-9]+.[0-9]+.[0-9]+'
jobs:
update-tag:
runs-on: ubuntu-latest
name: Update floating tag
steps:
- uses: actions/checkout@v3
- uses: fregante/setup-git-user@v1
- name: Tag and push
run: |
# Parse tag name, e.g. "v2" from "refs/tags/v2.22.12"
parse='import sys; print(sys.argv[1].split("/")[-1].split(".")[0])'
tag=$(python -c "$parse" "$GITHUB_REF")
# Empty commit that skips CI to prevent the `[remote rejected]` error.
# Error is due to the default GITHUB_TOKEN not having the `workflows`
# permission. Also prevents unnecessary test runs.
git commit --allow-empty -m "Tagged $tag from $GITHUB_REF [skip ci]"
# Overwrite tag
git tag -f "$tag"
git push -f origin "$tag"