Skip to content

Show coverage report#56

Merged
josecelano merged 1 commit intodevelopmentfrom
coverage-report
Aug 9, 2022
Merged

Show coverage report#56
josecelano merged 1 commit intodevelopmentfrom
coverage-report

Conversation

@josecelano
Copy link
Copy Markdown
Member

I've added nextest to the test workflow to show a coverage report.

@josecelano josecelano requested a review from mickvandijke August 9, 2022 08:41
@josecelano
Copy link
Copy Markdown
Member Author

Hi @WarmBeer this is the report.

Copy link
Copy Markdown
Member

@mickvandijke mickvandijke left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice addition to the workflow!

@josecelano josecelano changed the base branch from main to development August 9, 2022 09:26
@josecelano
Copy link
Copy Markdown
Member Author

hi @WarmBeer, I've changed the base branch in the PR to development. I think we should rebase development on top of main.

@josecelano josecelano merged commit 08c9aab into development Aug 9, 2022
@josecelano josecelano deleted the coverage-report branch August 9, 2022 12:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants