1. 26 May, 2018 1 commit
    • Tjerk Vreeken's avatar
      Disable codecov patch coverage errors · 03ece456
      Tjerk Vreeken authored
      For some reason the "only_pulls" option did not work as expected. When
      merging a request, the GitLab/webhook would still fill the "pull" field
      with the corresponding number, instead of leaving it empty.
      The coverage report on the diff/patch is still useful, so we do not
      disable the option altogether.
  2. 22 May, 2018 1 commit
    • Tjerk Vreeken's avatar
      Codecov to only check diff coverage in MRs · f13a19dc
      Tjerk Vreeken authored
      Currently we could get a pipeline error in the coverage stage because
      the diff (changes introduced by commit) were not covered in any tests.
      This is a different check than the "project" one, but we only want those
      checks in MRs. As soon as we merge, even with a decrease in coverage, we
      want the master pipeline to succeed.
  3. 16 May, 2018 1 commit
    • Tjerk Vreeken's avatar
      Allow small regressions in code coverage · b041d936
      Tjerk Vreeken authored
      If small changes to the code cannot be tested, we do not immediately
      want the pipeline to fail. This commit will allow regressions in
      coverage up to 5%, and instead enables coverage comments again to
      compensate for the lack of awareness of such regressions.
  4. 01 May, 2018 1 commit
    • Tjerk Vreeken's avatar
      Update casadi3 branch references to master · b977ecc5
      Tjerk Vreeken authored
      The casadi3 branch was the point of main development, and has now
      replaced master. The latter has been renamed/moved to maintenance/2.0.x.
      Any references to the casadi3 branch in the code (code coverage, badges)
      have now been update to point to master.
      Note that the actual renaming of casadi3 to master was a "simple" force
      push, and not a merge commit. This is because development had diverged
      for too long, and no active development was happening on the "old"
      master anyway.
  5. 19 Apr, 2018 1 commit