Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix the coverage report #2480

Closed
danielbate opened this issue Jun 7, 2024 · 0 comments · Fixed by #2512
Closed

Fix the coverage report #2480

danielbate opened this issue Jun 7, 2024 · 0 comments · Fixed by #2512
Assignees
Labels
chore Issue is a chore p0 High priority
Milestone

Comments

@danielbate
Copy link
Contributor

danielbate commented Jun 7, 2024

Since #2374 has been merged, our merged coverage has been misreporting.

Screenshot 2024-06-07 at 16 34 10

I believe this is because the the artefact in #2374 has a completely different source map, so we'll need to completely regenerate the master artefact.

@danielbate danielbate added the chore Issue is a chore label Jun 7, 2024
@danielbate danielbate self-assigned this Jun 7, 2024
@arboleya arboleya added temp label p0 High priority labels Jun 9, 2024
@arboleya arboleya added this to the Mainnet milestone Jun 9, 2024
@arboleya arboleya removed the offsite label Jun 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Issue is a chore p0 High priority
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants