Skip to content

GH Actions: tweak coverage run#1288

Merged
wimg merged 1 commit intodevelopfrom
feature/ghactions-coverage-for-develop
May 22, 2021
Merged

GH Actions: tweak coverage run#1288
wimg merged 1 commit intodevelopfrom
feature/ghactions-coverage-for-develop

Conversation

@jrfnl
Copy link
Copy Markdown
Member

@jrfnl jrfnl commented May 18, 2021

As things were, coverage would only be run on pull requests and on master.
Generally speaking, this is sufficient, but it does mean that the coverage over time is no longer properly tracked, which is a shame.

The tweaks I'm making now should:

  • Still run the normal test and coverage jobs on pull requests and merges to master.
  • For merges to develop, skip the test job, but do run the coverage, so it will be tracked again.
  • Skip the quicktest on develop as those are the same builds as for coverage, so no need to run those twice.
  • Also make sure that the coveralls-finish will actually run. Should after a build running just coverage already, but didn't.

@jrfnl jrfnl added Type: chores/QA PR: quick merge PR only contains relatively simple changes PR: ready for review labels May 18, 2021
@jrfnl jrfnl added this to the 10.0.0 milestone May 18, 2021
@jrfnl jrfnl requested a review from wimg May 18, 2021 20:37
@jrfnl jrfnl force-pushed the feature/ghactions-coverage-for-develop branch from 75cd46c to 74d5a08 Compare May 18, 2021 20:58
As things were, coverage would only be run on pull requests and on `master`.
Generally speaking, this is sufficient, but it does mean that the coverage over time is no longer properly tracked, which is a shame.

The tweaks I'm making now should:
* Still run the normal `test` and `coverage` jobs on pull requests and merges to `master.
* For merges to `develop`, skip the `test` job, but do run the `coverage`, so it will be tracked again.
* Skip the `quicktest` on `develop` as those are the same builds as for `coverage`, so no need to run those twice.
* Also make sure that the coveralls-finish will actually run. Should after a build running just coverage already, but didn't.
@jrfnl jrfnl force-pushed the feature/ghactions-coverage-for-develop branch from 74d5a08 to a9436e1 Compare May 18, 2021 21:13
@wimg wimg merged commit 1f56803 into develop May 22, 2021
@wimg wimg deleted the feature/ghactions-coverage-for-develop branch May 22, 2021 18:21
@jrfnl jrfnl removed PR: ready for review PR: quick merge PR only contains relatively simple changes labels Jun 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants