Implement JSON output for external consumers and update workflow#2079

marco-s wants to merge 4 commits into

pytorch:sitepytorch/pytorch.github.io:sitefrom

marco-s:patch-4marco-s/pytorch.github.io:patch-4Copy head branch name to clipboard