Fix violin test, change version number in match #415

	---
	name: "Maintenance"
	on:
	# So that PRs touching the same files as the push are updated
	push:
	# So that the `dirtyLabel` is removed if conflicts are resolve
	# We recommend `pull_request_target` so that github secrets are available.
	# In `pull_request` we wouldn't be able to change labels of fork PRs
	pull_request_target:
	types: [synchronize]

	permissions:
	pull-requests: write

	jobs:
	main:
	runs-on: ubuntu-latest
	steps:
	- name: Check if PRs have merge conflicts
	uses: eps1lon/actions-label-merge-conflict@1b1b1fcde06a9b3d089f3464c96417961dde1168 # v3.0.2
	with:
	dirtyLabel: "status: needs rebase"
	repoToken: "${{ secrets.GITHUB_TOKEN }}"
	retryMax: 10

Provide feedback