mirror of
https://github.com/redis/redis.git
synced 2026-04-21 03:01:35 -04:00
Coverity project name was changed from redis to redis-unstable. Fix the upload destination to also go to redis-unstable. Continuation of #12807
Coverity project name was changed from redis to redis-unstable. Fix the upload destination to also go to redis-unstable. Continuation of #12807