Feature: DAT downloading & parsing progress bar icons #491

	name: GitHub Label Sync

	on:
	pull_request:
	types:
	# - edited # PR's base branch was changed
	- opened
	- reopened
	- synchronize # PR's branch was edited (i.e. new commits)
	push:
	branches:
	- 'main'

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	dry-run:
	if: github.event_name == 'pull_request'
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: EndBug/label-sync@v2
	with:
	config-file: .github/labels.yml
	delete-other-labels: true
	dry-run: true
	token: ${{ secrets.GITHUB_TOKEN }}

	# !!! This check should be required by GitHub !!!
	labels-status-check:
	if: always()
	needs:
	- dry-run
	runs-on: ubuntu-latest
	steps:
	- uses: re-actors/alls-green@release/v1
	with:
	allowed-skips: dry-run
	jobs: ${{ toJSON(needs) }}

	sync:
	if: github.event_name == 'push'
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: EndBug/label-sync@v2
	with:
	config-file: .github/labels.yml
	delete-other-labels: true
	token: ${{ secrets.GITHUB_TOKEN }}

Provide feedback