gh-actions/github/run
: Add timing info
#1010
Merged
gh-actions/github/run
: Add timing info
#1010