Skip to content

Fix data races in scheduler, plugin manager and player list (#1183) #3

Fix data races in scheduler, plugin manager and player list (#1183)

Fix data races in scheduler, plugin manager and player list (#1183) #3

Workflow file for this run

name: Tag
on:
push:
branches: [ v1.* ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
token: ${{ secrets.BUILD_TOKEN }}
- name: Get merged pull request
uses: actions-ecosystem/action-get-merged-pull-request@v1.0.1
if: ${{ github.event_name == 'push' }}
id: pr
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
- name: Get release label
uses: actions-ecosystem/action-release-label@v1
if: ${{ steps.pr.outputs.labels != null }}
id: release-label
with:
label_prefix: 'release/'
labels: ${{ steps.pr.outputs.labels }}
- name: Get latest tag
uses: actions-ecosystem/action-get-latest-tag@v1
if: ${{ steps.release-label.outputs.level != null }}
id: get-latest-tag
with:
semver_only: true
- name: Bump version
uses: actions-ecosystem/action-bump-semver@v1
if: ${{ steps.release-label.outputs.level != null }}
id: bump-semver
with:
current_version: ${{ steps.get-latest-tag.outputs.tag }}
level: ${{ steps.release-label.outputs.level }}
- name: Push tag
uses: actions-ecosystem/action-push-tag@v1
if: ${{ steps.bump-semver.outputs.new_version != null }}
with:
tag: ${{ steps.bump-semver.outputs.new_version }}
message: '${{ steps.bump-semver.outputs.new_version }}: PR #${{ github.event.pull_request.number }} ${{ github.event.pull_request.title }}'