Skip to content

Commit

Permalink
skip coveralls if token isn't set
Browse files Browse the repository at this point in the history
  • Loading branch information
anuragsoni committed May 20, 2020
1 parent eba6b2e commit 10dd89a
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 @@ -39,7 +39,7 @@ jobs:
command: opam install --deps-only -t -y `basename -s .opam *.opam | tr '\n' ' '`
- run:
name: Test and coverage report
command: opam exec -- make coverage
command: ([[ -z "COVERALLS_REPO_TOKEN" ]] && make test) || (opam exec -- make coverage)

dune_lint:
docker:
Expand Down

0 comments on commit 10dd89a

Please sign in to comment.