Fix(typing): mypy errors #278

Sign in to view logs

Workflow file for this run

.github/workflows/type_check.yaml at bfa7b22

	name: Typechecker
	on:
	pull_request:
	push:
	branches: [ main ]
	jobs:
	types:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Setup Python 3.10
	uses: actions/setup-python@v5
	with:
	python-version: '3.10'
	- name: Install dependencies
	run: pip install ".[all]"
	- name: Type Check (mypy)
	run: mypy src/lean_dojo