mirror
/
mongo
mirror of https://github.com/mongodb/mongo
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
94,215 Commits 150 Branches 1,457 Tags 1.2 GiB
Commit Graph

4 Commits

Author SHA1 Message Date
Zack Winter 7ccc14bf91 SERVER-101034 Use rules_lint shfmt formatter (#38448) 
GitOrigin-RevId: e8ef1ba2000e12fa2cd5a115a9ceeab92332e938
 2025-07-16 01:55:34 +00:00
Trevor 950acfb704 SERVER-85798 fix build_patch_id (#18439) 
GitOrigin-RevId: cbec817baa0eea96d060f78836ddd6fbb9a07c41
 2024-01-27 02:47:21 +00:00
Mikhail Shchatko 657341a361 SERVER-76457 Support storing Build ID to debug symbols mapping for sanitizer builds 2023-04-28 15:46:00 +00:00
Jasur Nurboyev a86cafd2a9 SERVER-61242 Add logic to the CI to add BUILD ID info to the symbolizer service. 2021-12-08 17:56:35 +00:00