diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-19 10:56:42 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-19 12:14:46 +0100 |
| commit | 95f1f4e82a948f064bbbe32812a3f4b5c3c90bb7 (patch) | |
| tree | 40d6ef97efea8bbb1256ae7d1c60e40947e0e94b | |
| parent | 7a0228fbbabe93a5e49f9b40410969f5de99d25c (diff) | |
Travis: Drop support for coverity_scan, we do not use it
The UX is pretty bad, and the fact that all reports are private by
default with no option to make them public makes Coverity Scan hardly
usable in a community-driven project.
| -rw-r--r-- | .travis.yml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/.travis.yml b/.travis.yml index 8a6f80002b..7bf968ba4c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -47,15 +47,6 @@ matrix: - &linux_deps [libasound2-dev, libgl1-mesa-dev, libglu1-mesa-dev, libx11-dev, libxcursor-dev, libxi-dev, libxinerama-dev, libxrandr-dev] - &linux_mono_deps [mono-devel, msbuild, nuget] - coverity_scan: - project: - name: "godotengine/godot" - description: "Godot Engine Coverity scans" - notification_email: coverity@godotengine.org - build_command_prepend: "" - build_command: "scons p=x11 -j2 $OPTIONS" - branch_pattern: coverity_scan - - name: Linux export template (release, Clang) stage: build env: PLATFORM=x11 TOOLS=no TARGET=release CACHE_NAME=${PLATFORM}-clang EXTRA_ARGS="warnings=extra werror=yes" |