viable/strict/1791269178: [CI] Switch CI image jenkins user from uid 1000 to 1001 (#199360)
- PyTorch: 2053 events in the last 90 days
- PyTorch: 2025th Release in the last 90 days
- Previous: earlier the same day · trunk/b847da23ef2ea009548c60c9d026e6a6ecbe5725: [inductor] Preserve add's alpha when fusing add+mm into addmm (#199811)
What happened
Linux CI runs on ARC, where the GitHub runner is uid 1001 ( actions/runner-images#10936 ), but the CI image's jenkins user is still 1000 from EC2. This matches it so setup-linux no longer needs chmod -R 777 on the workspace (removed in #199361 ). Pull Request resolved: #199360 Approved by: https://github.com/jeanschmidt , https://github.com/atalman
Summary assembled by rule from the sources below