chore: get coverall logs
This commit is contained in:
parent
2d9383842c
commit
e464c3890e
|
@ -204,7 +204,10 @@ jobs:
|
||||||
env:
|
env:
|
||||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||||
run: make coveralls
|
run: make coveralls
|
||||||
|
|
||||||
- name: get coveralls logs
|
- name: get coveralls logs
|
||||||
|
working-directory: source
|
||||||
|
env:
|
||||||
if: failure()
|
if: failure()
|
||||||
run: cat rebar3.crashdump
|
run: cat rebar3.crashdump
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue