diff options
| author |  Leo Neat <leosneat@gmail.com> | 2020-02-27 08:54:52 -0800 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2020-02-27 08:54:52 -0800 |
| commit | 12a2e86d464c54d191f735f45c89708d6e3bf258 (patch) | |
| tree | 6dc7228ec64a2384f179407deb2e0f0687ddabca /infra/cifuzz/actions | |
| parent | c24902ff9cf4c3146ffcd6ea3ef24baf58e7ba4f (diff) | |
[CIFuzz] Check fuzzers (#3419)
Checks that the fuzzer build was a success in the build action.
Diffstat (limited to 'infra/cifuzz/actions')
| -rw-r--r-- | infra/cifuzz/actions/build_fuzzers/build_fuzzers_entrypoint.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/infra/cifuzz/actions/build_fuzzers/build_fuzzers_entrypoint.py b/infra/cifuzz/actions/build_fuzzers/build_fuzzers_entrypoint.py index 9c0a982b..dee41fb0 100644 --- a/infra/cifuzz/actions/build_fuzzers/build_fuzzers_entrypoint.py +++ b/infra/cifuzz/actions/build_fuzzers/build_fuzzers_entrypoint.py @@ -78,7 +78,10 @@ def main(): logging.error('Error building fuzzers for project %s with pull request %s.', oss_fuzz_project_name, pr_ref) return error_code - return 0 + out_dir = os.path.join(workspace, 'out') + if cifuzz.check_fuzzer_build(out_dir): + return 0 + return 1 if __name__ == '__main__': |