shard asan 3->4
Fixes #ISSUE_NUMBER
Regarding sharding asan more:
- Pros:
- Does not result in a lot of additional time
- It's on linux so its cheap
- Cons:
- May be a bit unbalanced. It is currently sharded into 3, with averages of 2.3h, 1.9h, 1.9h.
- Possible solution to make it more balanced would be to break up the asan test files
spreadsheet regarding sharding: https://docs.google.com/spreadsheets/d/1BdtVsjRr0Is9LXMNilR02FEdPXNq7zEWl8AmR3ArsLQ/edit#gid=1153012347
Pull Request resolved: https://github.com/pytorch/pytorch/pull/76404
Approved by: https://github.com/janeyx99, https://github.com/seemethere