]> git-server-git.apps.pok.os.sepia.ceph.com Git - rocksdb.git/commit
projects / rocksdb.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f756448) | patch
Update branch name to "main" in CircleCI config (#8726)
authorLevi Tamasi <ltamasi@fb.com>
Wed, 1 Sep 2021 18:56:37 +0000 (11:56 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 1 Sep 2021 19:26:42 +0000 (12:26 -0700)
commit2e09a54c4fb82e88bcaa3e7cfa8ccbbbbf3635d5
treee8c76694c46ef0672181ce501c302afaa47a7378tree | snapshot
parentf756448f284f472d6f01aa31d89421b2751e5035commit | diff
Update branch name to "main" in CircleCI config (#8726)

Summary: Pull Request resolved: https://github.com/facebook/rocksdb/pull/8726

Reviewed By: jay-zhuang

Differential Revision: D30675182

Pulled By: ltamasi

fbshipit-source-id: d5746931f6d942ed3a9d21325335cfc9e111a7f3
.circleci/config.yml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.