chore(deps): pre-commit autoupdate #2011

	name: Test

	on:
	push:
	branches:
	- main
	pull_request:

	jobs:
	test:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- name: Install poetry
	run: pipx install poetry
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version-file: ".python-version"
	cache: "poetry"
	- name: Install dependencies
	run: poetry install

	- name: Run tests
	run: poetry run pytest --cov=./ --cov-report=xml draco
	- name: Check types
	run: make typecheck
	- name: Check Poetry
	run: make check
	- name: Size of Grounded Programs
	run: make grounding-size

	- name: Upload coverage to Codecov
	uses: codecov/[email protected]
	env:
	CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}

	test-docker:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- name: Build docker image
	run: docker build -t draco .

	- name: Run all make targets
	run: docker run --rm draco bash -c "make"

	automerge:
	needs:
	- test
	- test-docker
	runs-on: ubuntu-latest

	permissions:
	pull-requests: write
	contents: write

	steps:
	- name: Merge pull requests
	uses: fastify/[email protected]
	with:
	github-token: ${{ secrets.GITHUB_TOKEN }}
	target: minor

Provide feedback