diff options
Diffstat (limited to 'infra/bots/cfg.json')
-rw-r--r-- | infra/bots/cfg.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/infra/bots/cfg.json b/infra/bots/cfg.json index ca9442ef62..a4eb77ae76 100644 --- a/infra/bots/cfg.json +++ b/infra/bots/cfg.json @@ -8,6 +8,7 @@ "ASAN", "Coverage", "MSAN", + "OpenCL", "TSAN", "UBSAN", "Valgrind", |