From 0923346f60399c47410173530de81844d061edbd Mon Sep 17 00:00:00 2001 From: kostas Date: Fri, 17 Jan 2025 15:32:16 +0200 Subject: [PATCH] turn on stack safety margin --- .github/workflows/daily-sanitizers.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/daily-sanitizers.yml b/.github/workflows/daily-sanitizers.yml index 52498a745412..4bc2600e1cd3 100644 --- a/.github/workflows/daily-sanitizers.yml +++ b/.github/workflows/daily-sanitizers.yml @@ -91,7 +91,7 @@ jobs: - name: Test run: | cd $GITHUB_WORKSPACE/build - ctest -V -L DFLY + FLAGS_fiber_safety_margin=4096 ctest -V -L DFLY - name: Send notifications on failure if: failure() && github.ref == 'refs/heads/main'