Fail when ubsan finds failures (#3166)
This is enabled for CS since ChezScheme has no ubsan warnings since: 65e05772a1
This commit is contained in:
parent
52b5f1864f
commit
bc97c65bb8
5
.github/workflows/ci-ubsan.yml
vendored
5
.github/workflows/ci-ubsan.yml
vendored
|
@ -171,8 +171,11 @@ jobs:
|
||||||
continue-on-error: true
|
continue-on-error: true
|
||||||
run: raco test -l tests/db/all-tests | tee logs/db-all-tests.log
|
run: raco test -l tests/db/all-tests | tee logs/db-all-tests.log
|
||||||
- name: Gather runtime errors
|
- name: Gather runtime errors
|
||||||
run: grep 'runtime error' logs/*.log > runtime-errors_git${{ github.sha }}.log
|
run: |
|
||||||
|
grep 'runtime error' logs/*.log > runtime-errors_git${{ github.sha }}.log || true
|
||||||
|
test ! -s runtime-errors_git${{ github.sha }}.log
|
||||||
- uses: actions/upload-artifact@v2
|
- uses: actions/upload-artifact@v2
|
||||||
|
if: failure()
|
||||||
with:
|
with:
|
||||||
name: runtime-errors-cs_git${{ github.sha }}
|
name: runtime-errors-cs_git${{ github.sha }}
|
||||||
path: runtime-errors_git${{ github.sha }}.log
|
path: runtime-errors_git${{ github.sha }}.log
|
||||||
|
|
Loading…
Reference in New Issue
Block a user