diff options
| author | fanquake <fanquake@gmail.com> | 2022-04-25 10:33:32 +0100 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2022-04-26 10:43:33 +0100 |
| commit | 9c96f1008b4997aea31f293fed31f98ed3becfcf (patch) | |
| tree | 0fde8cbc916bacf938276b445cb3ca2730b2aa9e /ci | |
| parent | e53274868e0ec35156349826b0995bc444287690 (diff) | |
tidy: enable modernize-use-nullptr
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/test/06_script_a.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/test/06_script_a.sh b/ci/test/06_script_a.sh index 4742cb02ea..6a6bde05a1 100755 --- a/ci/test/06_script_a.sh +++ b/ci/test/06_script_a.sh @@ -49,7 +49,7 @@ if [[ ${USE_MEMORY_SANITIZER} == "true" ]]; then fi if [[ "${RUN_TIDY}" == "true" ]]; then - MAYBE_BEAR="bear" + MAYBE_BEAR="bear --config src/.bear-tidy-config" MAYBE_TOKEN="--" fi |