Include python demos in mypy check#1003

risa-hirsh wants to merge 2 commits into

FEniCS:mainFEniCS/basix:mainfrom

risa-hirsh:include-python-demos-in-mypyrisa-hirsh/basix:include-python-demos-in-mypyCopy head branch name to clipboard