Merge pull request #1945 from timbrel/create-github-repo #1047

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-messages	7s
lint	11s
mypy (linux)	12s
mypy (darwin)	11s
mypy (win32)	11s
	52s