Merge pull request #8373 from HJianBo/fix-make-coverall

Test: fix make coverall
This commit is contained in:
Zaiming (Stone) Shi 2022-07-02 07:24:39 +01:00 committed by GitHub
commit 1d8fbc7c50
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions

View File

@ -204,7 +204,9 @@ jobs:
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: make coveralls
- name: get coveralls logs
working-directory: source
if: failure()
run: cat rebar3.crashdump