Merge pull request #1658 from walter-hernandez/master #784

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linting (lint, false)	37s
linting (docs-local, false)	41s
linting (docs-external, true)	9m 37s
	10m 55s