diff --git a/.github/workflows/daily.yml b/.github/workflows/daily.yml index 63e6a150b2..096cf12766 100644 --- a/.github/workflows/daily.yml +++ b/.github/workflows/daily.yml @@ -597,8 +597,10 @@ jobs: with: repository: ${{ env.GITHUB_REPOSITORY }} ref: ${{ env.GITHUB_HEAD_REF }} + - name: clean make + run: make distclean - name: make - run: make all-with-unit-tests SANITIZER=address SERVER_CFLAGS='-DSERVER_TEST -Werror -DDEBUG_ASSERTIONS' + run: make all-with-unit-tests OPT=-O3 SANITIZER=address SERVER_CFLAGS='-DSERVER_TEST -Werror -DDEBUG_ASSERTIONS' - name: testprep # Work around ASAN issue, see https://github.com/google/sanitizers/issues/1716 run: |