Skip to content

Commit

Permalink
Revert "Add PR number to metrics when available (pytorch#109406)"
Browse files Browse the repository at this point in the history
This reverts commit f0fb4b3.

Reverted pytorch#109406 on behalf of https://github.com/ZainRizvi due to breaks trunk ([comment](pytorch#109406 (comment)))
  • Loading branch information
pytorchmergebot committed Sep 18, 2023
1 parent 05c31b3 commit a399f83
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion tools/stats/upload_metrics.py
Original file line number Diff line number Diff line change
Expand Up @@ -85,7 +85,6 @@ def emit_metric(
EnvVarMetric("build_environment", "BUILD_ENVIRONMENT"),
EnvVarMetric("job", "GITHUB_JOB"),
EnvVarMetric("test_config", "TEST_CONFIG", required=False),
EnvVarMetric("pr_number", "PR_NUMBER", required=False, type_conversion_fn=int),
EnvVarMetric("run_id", "GITHUB_RUN_ID", type_conversion_fn=int),
EnvVarMetric("run_number", "GITHUB_RUN_NUMBER", type_conversion_fn=int),
EnvVarMetric("run_attempt", "GITHUB_RUN_ATTEMPT", type_conversion_fn=int),
Expand Down

0 comments on commit a399f83

Please sign in to comment.