ci: fix statediff build; make optional.

2020-09-10 10:41:18 +01:00 · 2020-09-10 10:41:18 +01:00 · 9e5bce90f4
commit 9e5bce90f4
parent 767341b279
1 changed files with 2 additions and 2 deletions
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@ -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: