Docs Pull Request

fix GitHub capitalization: change 'github' to 'GitHub' #602

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_non_docs	5s
build_docs	55s
all_github_action_checks	1s
	1m 1s