Merge pull request #3729 from filecoin-project/fix/statediff-ci

ci: fix statediff build; make optional.
This commit is contained in:
Łukasz Magiera 2020-09-10 11:49:04 +02:00 committed by GitHub
commit bd14fb90fc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -231,11 +231,11 @@ jobs:
- run:
name: install statediff globally
command: |
## statediff is optional; we succeed even if compilation fails.
mkdir -p /tmp/statediff
git clone https://github.com/filecoin-project/statediff.git /tmp/statediff
cd /tmp/statediff
go generate ./...
go install ./cmd/statediff
go install ./cmd/statediff || exit 0
- run:
name: go test
environment: