Skip to content

travis: do not execute Coverity analysis for all cron jobs - #4755

Merged
ethomson merged 1 commit into
libgit2:masterfrom
pks-t:pks/travis-coverity-cron
Aug 6, 2018
Merged

travis: do not execute Coverity analysis for all cron jobs#4755
ethomson merged 1 commit into
libgit2:masterfrom
pks-t:pks/travis-coverity-cron

Conversation

@pks-t

@pks-t pks-t commented Aug 6, 2018

Copy link
Copy Markdown
Member

The new Travis cron job gets executed daily, but our current
configuration will cause each job to execute our Coverity script instead
of the default build and testing scripts. This cannot work, as Coverity
is heavily rate-limiting its API, so our cron builds are doomed to
always fail. What we want to do instead is execute our normal builds,
but add an additional Coverity jobs.

This can easily be done by adding another Coverity-specific job with a
conditional "type = cron", which sets the "COVERITY" environment
variable. Instead of checking the build type, we then simply check
whether "COVERITY" is set or not.

The new Travis cron job gets executed daily, but our current
configuration will cause each job to execute our Coverity script instead
of the default build and testing scripts. This cannot work, as Coverity
is heavily rate-limiting its API, so our cron builds are doomed to
always fail. What we want to do instead is execute our normal builds,
but add an additional Coverity jobs.

This can easily be done by adding another Coverity-specific job with a
conditional "type = cron", which sets the "COVERITY" environment
variable. Instead of checking the build type, we then simply check
whether "COVERITY" is set or not.
@ethomson

ethomson commented Aug 6, 2018

Copy link
Copy Markdown
Member

Ugh. Sorry I got this wrong - I thought that we would ignore the rate limited response. Since we're running this nightly on both travis and vsts, we may still fail (at least) one of them. But let's try this and see.

I wish we could execute completely separate scripts between the nightly cron and the PR builds.

@ethomson
ethomson merged commit 9275d84 into libgit2:master Aug 6, 2018
@pks-t

pks-t commented Aug 6, 2018 via email

Copy link
Copy Markdown
Member Author

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants