diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2021-02-11 18:02:17 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2021-02-11 18:26:20 +0100 |
| commit | 33087147973d8022864441e8d5428b3bca38f695 (patch) | |
| tree | d912c980bad7e556550b38f2adbaddb9dad6980b /dashboard/config/linux/bits/kmsan.yml | |
| parent | a52ee10ae11c1342cfca60cf3957619bcf92bd1a (diff) | |
dashboard/config/linux: update KMSAN config
Update KMSAN config to the lastest version on top of kmsan-v5.11-rc7.
Diffstat (limited to 'dashboard/config/linux/bits/kmsan.yml')
| -rw-r--r-- | dashboard/config/linux/bits/kmsan.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dashboard/config/linux/bits/kmsan.yml b/dashboard/config/linux/bits/kmsan.yml index cbd2f35f1..3ef2eaed6 100644 --- a/dashboard/config/linux/bits/kmsan.yml +++ b/dashboard/config/linux/bits/kmsan.yml @@ -3,7 +3,7 @@ kernel: repo: https://github.com/google/kmsan.git - tag: kmsan-v5.10-rc4 + tag: kmsan-v5.11-rc7 config: - KMSAN |