Merge pull request #2215 from jhannyj/editor-cut #902

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
todos_linux	4m 56s
todos_macos	3m 29s
todos_windows	6m 33s
todos_raspberry	8m 9s
	23m 7s