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