Extend mypy checks to test/ and demo/#4135

schnellerhase wants to merge 8 commits into

mainFEniCS/dolfinx:mainfrom

schnellerhase/mypy-demo/testFEniCS/dolfinx:schnellerhase/mypy-demo/testCopy head branch name to clipboard