mirror
/
mongo
mirror of https://github.com/mongodb/mongo
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

SERVER-108055 Fix tags used for Coverity task (#39001) 

GitOrigin-RevId: 35236bf190fd2949e7cd6b9d1d89de0d22c84f96
This commit is contained in:
tarunsethi 2025-07-31 16:16:02 -06:00 committed by MongoDB Bot
parent 1ac83ad31b
commit 187dd90c28
2 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/branching/README.md
View File

@ -164,14 +164,10 @@ Run the following automation and verify results:
```sh
sed -i "s/stream: mongo.master/stream: mongo.v$VERSION/g" etc/coverity.yml
sed -i 's/development_critical_single_variant/auxiliary/g' etc/evergreen_yml_components/variants/coverity.yml
```
In the file [`etc/coverity.yml`](../../etc/coverity.yml), the "stream" should be updated to the new branch.
In the file [`etc/evergreen_yml_components/variants/coverity.yml`](../../etc/evergreen_yml_components/variants/coverity.yml), the "development_critical_single_variant" tag should be replaced with "auxiliary".
#### Finally: format and lint
```sh

3
etc/evergreen_yml_components/variants/coverity.yml
View File

@ -45,9 +45,10 @@ tasks:
tags:
[
"assigned_to_jira_team_devprod_build",
"development_critical_single_variant",
"requires_large_host",
"auxiliary",
"coverity",
"HOT_TASK",
]
exec_timeout_secs: 28800 # Max scan time of 8 hours
commands: