Mypy

src: omit debug data #2218

	name: Mypy

	on:
	pull_request:
	paths:
	- 'src/**'
	- 'frontends/python/**'
	- 'oss_fuzz_integration/**'
	- '.github/workflows/mypy.yml'
	permissions: read-all
	jobs:
	build:
	runs-on: ubuntu-latest
	name: Mypy
	steps:
	- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v2.4.0
	- name: Set up Python 3.8
	uses: actions/setup-python@0a5c61591373683505ea898e09a3ea4f39ef2b9c # v3.0.0
	with:
	python-version: 3.8
	- name: Install Dependencies
	run: \|
	pip install mypy types-PyYAML
	- name: mypy
	run: \|
	cd src && mypy --ignore-missing-imports -m main

Provide feedback