sdong 3591da33c0 Add a release build with RTTI in CircleCI (#7364) ... Summary: Release build RTTI is not covered in CI. Add one. Pull Request resolved: https://github.com/facebook/rocksdb/pull/7364 Test Plan: Watch the build results. Reviewed By: jay-zhuang Differential Revision: D23602157 fbshipit-source-id: f0bb0f918632c5ee009db9d0a47a771f3c98195b		2020-09-22 10:28:01 -07:00
..
cat_ignore_eagain	Major CircleCI/Linux fixes / tweaks / enhancements (#7078)	2020-07-07 11:25:46 -07:00
config.yml	Add a release build with RTTI in CircleCI (#7364)	2020-09-22 10:28:01 -07:00
ubsan_suppression_list.txt	Add ubsan_check to CircleCI runs (#7112)	2020-07-10 20:03:41 -07:00
vs2015_install.ps1	Add VS2017 to CircleCI Runs (#7120)	2020-07-13 18:10:20 -07:00
vs2017_install.ps1	Add VS2017 to CircleCI Runs (#7120)	2020-07-13 18:10:20 -07:00