Optimize spiderpool leader lease election #1027

	name: Lint Code Spell

	on:
	pull_request_target:
	types:
	- opened
	- synchronize
	- reopened
	push:
	branches:
	- main
	- release-*
	- github_pages
	workflow_call:
	inputs:
	ref:
	required: true
	type: string
	workflow_dispatch:
	inputs:
	ref:
	description: 'sha, tag, branch'
	required: true
	default: main

	jobs:
	lint_spell:
	runs-on: ubuntu-latest
	steps:
	- name: Get Ref
	id: get_ref
	run: \|
	if ${{ inputs.ref != '' }} ; then
	echo "trigger by workflow_call"
	echo "ref=${{ inputs.ref }}" >> $GITHUB_ENV
	elif ${{ github.event_name == 'workflow_dispatch' }} ; then
	echo "trigger by workflow_dispatch"
	echo "ref=${{ github.event.inputs.ref }}" >> $GITHUB_ENV
	elif ${{ github.event_name == 'push' }} ; then
	echo "trigger by push"
	echo "ref=${{ github.sha }}" >> $GITHUB_ENV
	else
	echo "trigger by ${{ github.event_name }}"
	echo "ref=${{ github.event.pull_request.head.sha }}" >> $GITHUB_ENV
	fi

	- name: Checkout
	uses: actions/checkout@v4
	with:
	fetch-depth: 0
	ref: ${{ env.ref }}

	- name: Set up Python
	uses: actions/[email protected]
	with:
	python-version: 3.8
	architecture: x64

	- name: Run Code Lint
	run: \|
	make lint-code-spell

Provide feedback