Skip to content
Docs Pull Request

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

Sign in to view logs

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

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

Re-run triggered March 7, 2024 03:31
@buffalojoecbuffalojoec
#6348
jarrensj:fix-github-capitalization
Status Success
Total duration 1m 13s
Artifacts –

pull-request-docs.yml

on: pull_request
check_non_docs
5s
check_non_docs
build_docs
55s
build_docs
all_github_action_checks
0s
all_github_action_checks
Fit to window
Zoom out
Zoom in