Skip to content

Comments

Local code coverage only#2374

Closed
amylizzle wants to merge 10 commits intoOpenDreamProject:masterfrom
amylizzle:local_coverage
Closed

Local code coverage only#2374
amylizzle wants to merge 10 commits intoOpenDreamProject:masterfrom
amylizzle:local_coverage

Conversation

@amylizzle
Copy link
Collaborator

@amylizzle amylizzle commented Aug 25, 2025

Changes the code coverage stuff to use more reliable tools hosted only in the CI

@github-actions github-actions bot added size/M and removed size/S labels Aug 25, 2025
@amylizzle amylizzle marked this pull request as draft August 27, 2025 18:10
@github-actions
Copy link

This pull request has conflicts, please resolve those before we can evaluate the pull request.

@amylizzle
Copy link
Collaborator Author

Closed in favour of #2376

@amylizzle amylizzle closed this Aug 29, 2025
@amylizzle amylizzle deleted the local_coverage branch August 29, 2025 17:05
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.

1 participant