Skip to content
This repository has been archived by the owner on Feb 6, 2025. It is now read-only.

Commit

Permalink
Increase history_size for TSan builds
Browse files Browse the repository at this point in the history
This is to avoid `[failed to restore the stack]` in place of stack
traces in TSan reports.
  • Loading branch information
OlivierNicole committed Jan 16, 2024
1 parent d6d91f9 commit 0e23530
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -104,7 +104,7 @@ jobs:
- name: Run the testsuite
if: matrix.id == 'normal'
run: |
MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh test
TSAN_OPTIONS=history_size=6 MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh test
- name: Run the testsuite (debug runtime)
if: matrix.id == 'debug'
env:
Expand Down Expand Up @@ -170,7 +170,7 @@ jobs:
- name: Run the testsuite
if: ${{ matrix.name != 'linux-O0' }}
run: |
bash -c 'SHOW_TIMINGS=1 tools/ci/actions/runner.sh test'
bash -c 'TSAN_OPTIONS=history_size=6 SHOW_TIMINGS=1 tools/ci/actions/runner.sh test'
env:
MallocNanoZone: 0
- name: Run the testsuite (linux-O0)
Expand Down

0 comments on commit 0e23530

Please sign in to comment.