Push and PR actions

Merge pull request #688 from dmamelin/master #685

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run pylint	1m 6s
Run tests	1m 11s
Check style formatting	6s
Run mypy	1m 30s
validate	15s
	4m 8s