delta/libgit2.git/ci/coverity.sh, branch ethomson/test_https github.com: libgit2/libgit2.git ci: stop using deprecated set-env in GitHub Actions 2020-11-18T18:08:23+00:00 Edward Thomson ethomson@edwardthomson.com 2020-11-18T18:08:23+00:00 3d6b90359d1307736c9fd4488b1703d934a69a1a (And move the ci scripts into the `ci` directory.) 
(And move the ci scripts into the `ci` directory.)
ci: ignore coverity failures in nightly runs 2019-01-28T12:33:31+00:00 Edward Thomson ethomson@edwardthomson.com 2019-01-28T10:48:49+00:00 0cf5b6b17d1d96226880fcfabc614dbaada808ac Coverity is back but it's only read-only! Agh. Just allow it to fail and not impact the overall job run. 
Coverity is back but it's only read-only!  Agh.  Just allow it to fail
and not impact the overall job run.
ci: Correct the status code check so Coverity doesn't force-fail Travis 2018-08-14T19:26:14+00:00 Etienne Samson samson.etienne@gmail.com 2018-08-14T19:26:14+00:00 351ca66126b08530d96556eb4521b601c69125e3 Otherwise you get something like Emitted 525 C/C++ compilation units (100%) successfully 525 C/C++ compilation units (100%) are ready for analysis The cov-build utility completed successfully. Build successfully submitted. Received error code 200 from Coverity travis_time:end:14cf6373:start=1534254309066933889,finish=1534254728190974302,duration=419124040413 The command "if [ -n "$COVERITY" ]; then ../ci/coverity.sh; fi" exited with 1. travis_time:start:01ed61d4 $ if [ -z "$COVERITY" ]; then ../ci/build.sh && ../ci/test.sh; fi travis_time:end:01ed61d4:start=1534254728197560961,finish=1534254728202711214,duration=5150253 The command "if [ -z "$COVERITY" ]; then ../ci/build.sh && ../ci/test.sh; fi" exited with 0. Done. Your build exited with 1. 
Otherwise you get something like

Emitted 525 C/C++ compilation units (100%) successfully

525 C/C++ compilation units (100%) are ready for analysis
The cov-build utility completed successfully.
Build successfully submitted.
Received error code 200 from Coverity

travis_time:end:14cf6373:start=1534254309066933889,finish=1534254728190974302,duration=419124040413
The command "if [ -n "$COVERITY" ]; then ../ci/coverity.sh; fi" exited with 1.
travis_time:start:01ed61d4
$ if [ -z "$COVERITY" ]; then ../ci/build.sh && ../ci/test.sh; fi

travis_time:end:01ed61d4:start=1534254728197560961,finish=1534254728202711214,duration=5150253
The command "if [ -z "$COVERITY" ]; then ../ci/build.sh && ../ci/test.sh; fi" exited with 0.

Done. Your build exited with 1.
 ci: run coverity from travis's cron 2018-07-29T16:26:21+00:00 Edward Thomson ethomson@edwardthomson.com 2018-07-28T21:29:53+00:00 6b92368c859d0bf0dcdb15ca8bee520e0f4e84f2 Instead of trying to run coverity builds during the regular PR process, run them during a regularly scheduled cron process. These only need to run nightly, so it makes sense to bring them out of the PR process. 
Instead of trying to run coverity builds during the regular PR process,
run them during a regularly scheduled cron process.  These only need to
run nightly, so it makes sense to bring them out of the PR process.
ci: move travis to the new scripts 2018-07-28T22:54:46+00:00 Edward Thomson ethomson@edwardthomson.com 2018-07-27T11:31:32+00:00 24b8dd8275adb13acc68281c200623f636690666