Skip to content

Commit

Permalink
coverage: fail if dependencies are not being installed (#7976)
Browse files Browse the repository at this point in the history
Signed-off-by: Ali Caglayan <alizter@gmail.com>
  • Loading branch information
Alizter authored Jun 21, 2023
1 parent b224c96 commit b14b560
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/workflow.yml
Original file line number Diff line number Diff line change
Expand Up @@ -195,7 +195,8 @@ jobs:
- name: Install deps on Unix
run: |
opam install . --deps-only
opam exec -- make coverage-deps dev-deps
opam exec -- make dev-deps
opam exec -- make coverage-deps
- run: opam exec -- make test-coverage
continue-on-error: true
env:
Expand Down

0 comments on commit b14b560

Please sign in to comment.