diff options
| author |  Fabian Meumertzheim <meumertzheim@code-intelligence.com> | 2021-05-12 16:57:26 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2021-05-12 14:57:26 +0000 |
| commit | a1b558719bb43ba90f78b38546dde21121e6d83b (patch) | |
| tree | 16239b48281fb21e32b6a0367de42f891123d411 | |
| parent | ae86bc60753bc83ec9fdf5251dc261c7915d35bc (diff) | |
[infra] Verify JVM coverage builds in the CI (#5752)
| -rwxr-xr-x | infra/ci/build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/ci/build.py b/infra/ci/build.py index 64523d13..bad10ff7 100755 --- a/infra/ci/build.py +++ b/infra/ci/build.py @@ -32,7 +32,7 @@ DEFAULT_ENGINES = ['afl', 'honggfuzz', 'libfuzzer'] DEFAULT_SANITIZERS = ['address', 'undefined'] # Languages from project.yaml that have code coverage support. -LANGUAGES_WITH_COVERAGE_SUPPORT = ['c', 'c++', 'go', 'rust'] +LANGUAGES_WITH_COVERAGE_SUPPORT = ['c', 'c++', 'go', 'jvm', 'rust'] def get_changed_files_output(): |