Add `ignore_properties` option to `redundant_type_annotation` rule (#… #208

	name: Docker Build

	on:
	push:
	branches:
	- main
	workflow_call:
	inputs:
	tag:
	description: 'Docker tag'
	required: true
	type: string
	default: 'latest'
	workflow_dispatch:
	inputs:
	tag:
	description: 'Docker tag'
	required: true
	type: string
	default: 'latest'

	jobs:
	build:
	runs-on: ubuntu-24.04
	steps:
	- uses: actions/checkout@v4
	- name: Set Docker tag
	if: github.event_name == 'workflow_call' \|\| github.event_name == 'workflow_dispatch'
	run: echo "DOCKER_TAG=${{ inputs.tag }}" >> $GITHUB_ENV
	- name: Use default Docker tag
	if: github.event_name == 'push'
	run: echo "DOCKER_TAG=latest" >> $GITHUB_ENV
	- name: Set lowercase repository name
	run: echo "REPOSITORY_LC=${REPOSITORY,,}" >> $GITHUB_ENV
	env:
	REPOSITORY: '${{ github.repository }}'
	- name: Set up Docker Buildx
	uses: docker/setup-buildx-action@v3
	- name: Login to GitHub registry
	uses: docker/login-action@v3
	with:
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}
	registry: ghcr.io
	- uses: docker/build-push-action@v6
	with:
	push: true
	tags: ghcr.io/${{ env.REPOSITORY_LC }}:${{ env.DOCKER_TAG }}

Provide feedback