No need to clone actorkeys when linting #101

	name: Linting

	on:
	push:
	paths-ignore:
	- 'docs/**'
	- '*/.md'
	pull_request:
	paths-ignore:
	- 'docs/**'
	- '*/.md'

	jobs:
	build:
	runs-on: ubuntu-latest

	strategy:
	fail-fast: false

	steps:
	- uses: actions/checkout@v4

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.12'
	cache: 'pip'

	- name: Install dependencies
	run: \|
	pip install --upgrade wheel pip setuptools
	pip install .

	- name: Lint with ruff
	run: \|
	pip install ruff
	ruff check src/hal
	ruff format --check src/hal

Provide feedback