GHA: Make WORKFLOW_ID not a concatenation of run_id and run_num (#70938)
Summary:
Since both GITHUB_RUN_ID and GITHUB_RUN_NUM are unchanged in rerun attempts, there's little reason to track both. It ends up just being confusing and also hard to use in joins in queries.
Currently, the only places the concatenated WORKFLOW_ID are used are for our test stats jsons in S3 and in our binary size stats in Scuba, code posted respectively:
https://github.com/pytorch/pytorch/blob/master/tools/stats/print_test_stats.py#L824
https://github.com/pytorch/pytorch/blob/master/tools/stats/upload_binary_size_to_scuba.py#L58
And I don't think we use the WORKFLOW_IDs in either stats in any queries yet.
Pull Request resolved: https://github.com/pytorch/pytorch/pull/70938
Reviewed By: seemethere, ngimel
Differential Revision: D33458655
Pulled By: janeyx99
fbshipit-source-id: 885b125a978fa0cc51553b08b8c63d5fdcf354d0
