Rename github workflow to better express its intent #773
Description
The name of the GitHub workflow for type checking the python code is called main.yml. With more yaml files on the way, it makes sense to rename the file so that it's clear to the reader what it is for.