Skip to content

Commit

Permalink
fix: correct CI 'metrics capture' syntax (#1212)
Browse files Browse the repository at this point in the history
  • Loading branch information
cryptonemo authored Jul 14, 2020
1 parent b990b16 commit d885569
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .circleci/config.yml
Original file line number Diff line number Diff line change
Expand Up @@ -169,7 +169,7 @@ jobs:
- run:
name: Ensure existence of Groth parameters and keys on remote host
command: |
./fil-proofs-tooling/scripts/run-remote.sh "${CIRCLE_BRANCH}" "${BENCHMARK_SERVER_SSH_USERNAME}@${BENCHMARK_SERVER_IP_ADDR}" cargo run --release --package filecoin-proofs --bin=paramcache -- --params-for-sector-sizes=$((512*1024*1024))
./fil-proofs-tooling/scripts/run-remote.sh "${CIRCLE_BRANCH}" "${BENCHMARK_SERVER_SSH_USERNAME}@${BENCHMARK_SERVER_IP_ADDR}" cargo run --release --package filecoin-proofs --bin paramcache -- --params-for-sector-sizes=$((512*1024*1024))
no_output_timeout: 60m
- run:
name: Run hash-constraints benchmarks on remote host
Expand Down

0 comments on commit d885569

Please sign in to comment.