mirror
/
mongo
mirror of https://github.com/mongodb/mongo
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

SERVER-91324: Pin to v0.2.0-jepsen-mongodb-master (#23238) (#23329) 

GitOrigin-RevId: ab6232316d8ba0e9fd085e99b2f44fba5942d5c3
This commit is contained in:
Steve McClure 2024-06-11 15:48:08 -04:00 committed by MongoDB Bot
parent a61f0bdffc
commit a6f71fcee6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
evergreen/do_jepsen_setup/install_jepsen.sh
View File

@ -1,7 +1,7 @@
set -o errexit set -o errexit
cd src cd src
git clone --branch=jepsen-mongodb-master --depth=1 git@github.com:10gen/jepsen.git jepsen-mongodb git clone --branch=v0.2.0-jepsen-mongodb-master --depth=1 git@github.com:10gen/jepsen.git jepsen-mongodb
cd jepsen-mongodb cd jepsen-mongodb
branch=$(git symbolic-ref --short HEAD) branch=$(git symbolic-ref --short HEAD)
commit=$(git show -s --pretty=format:"%h - %an, %ar: %s") commit=$(git show -s --pretty=format:"%h - %an, %ar: %s")