diff options
author | Aaron Morand <aaron.morand@10gen.com> | 2023-01-11 14:50:20 +0000 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2023-01-11 15:25:31 +0000 |
commit | 9bd31b4fb9586a9a3493fa7332be64e84d360dd1 (patch) | |
tree | 14c42e9d3058a06316df86bfe4215de7652dfa8e /src/mongo/db/test_output | |
parent | 96baa4302afec09851b3ef78bd7c783a32365ee6 (diff) | |
download | mongo-9bd31b4fb9586a9a3493fa7332be64e84d360dd1.tar.gz |
SERVER-72695 Fixes the push_arch name for Ubuntu 22.04 arm64 variants
Diffstat (limited to 'src/mongo/db/test_output')
0 files changed, 0 insertions, 0 deletions