Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update build-linux-clang10-mini-tsan (#13220)
Summary: I found this mismatch between the CI job title and the actual command ran incidentally while trying to work on #13213. `build-linux-clang10-mini-tsan` was added in #7122 with `clang-10`. In #10496 it was changed to use `clang-13` but the name was not also updated. I do not know what the author's intent was, but given that `build-linux-clang10-mini-tsan` is right next to`build-linux-clang10-ubsan` and `build-linux-clang10-asan`, I think it is more likely we originally intended to use `clang-10`. Pull Request resolved: #13220 Test Plan: I think we need to wait for the next set of CI checks after this PR is merged, since I don't see my changes incorporated into this PR's `build-linux-clang10-mini-tsan` check. Reviewed By: hx235 Differential Revision: D67407034 Pulled By: archang19 fbshipit-source-id: 9c22b6c6c330a367920eb3d4a387f37b760d722c
- Loading branch information