.github: [jepsen] fix directory name (#6138)

```
bash: line 0: cd: tendermint: No such file or directory
```
This commit is contained in:
Anton Kaliaev
2021-02-18 16:10:52 +04:00
committed by GitHub
parent 27b05d6b39
commit a48c6bdf5e
+1 -1
View File
@@ -45,4 +45,4 @@ jobs:
run: ./bin/up --daemon
- name: Run the test
run: docker exec -i jepsen-control bash -c 'cd tendermint; lein run test --nemesis ${{ github.event.inputs.nemesis }} --workload ${{ github.event.inputs.workload }} --concurrency ${{ github.event.inputs.concurrency }} --tendermint-url ${{ github.event.inputs.tendermintUrl }} --merkleeyes-url ${{ github.event.inputs.merkleeyesUrl }} --time-limit ${{ github.event.inputs.timeLimit }} ${{ github.event.inputs.dupOrSuperByzValidators }}'
run: docker exec -i jepsen-control bash -c 'cd /jepsen/tendermint; lein run test --nemesis ${{ github.event.inputs.nemesis }} --workload ${{ github.event.inputs.workload }} --concurrency ${{ github.event.inputs.concurrency }} --tendermint-url ${{ github.event.inputs.tendermintUrl }} --merkleeyes-url ${{ github.event.inputs.merkleeyesUrl }} --time-limit ${{ github.event.inputs.timeLimit }} ${{ github.event.inputs.dupOrSuperByzValidators }}'