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

SERVER-75034 Deleted evergreen lint todo

This commit is contained in:
Alexander Neben 2023-03-20 19:22:44 +00:00 committed by Evergreen Agent
parent 369f6e82b8
commit a135d9aeaa
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
buildscripts/yamllinters.sh
View File

@ -4,7 +4,3 @@ BASEDIR=$(dirname "$0")
cd "$BASEDIR/../"
yamllint -c etc/yamllint_config.yml buildscripts etc jstests
# TODO: SERVER-64923 re-enable YAML linters.
#evergreen evaluate ${evergreen_config_file_path} > etc/evaluated_evergreen.yml
#python -m evergreen_lint -c ./etc/evergreen_lint.yml lint