Skip to content

chore: remove coverage-map.js#652

Merged
jsumners merged 1 commit intopinojs:masterfrom
mrazauskas:remove-coverage-map-js
Mar 29, 2026
Merged

chore: remove coverage-map.js#652
jsumners merged 1 commit intopinojs:masterfrom
mrazauskas:remove-coverage-map-js

Conversation

@mrazauskas
Copy link
Copy Markdown
Contributor

@mrazauskas mrazauskas commented Mar 28, 2026

This PR remove coverage-map.js which seems to be unnecessary.

I think this file was used by tap some time ago:

coverage-map: 'coverage-map.js'

@jsumners jsumners merged commit 098ab37 into pinojs:master Mar 29, 2026
5 checks passed
@mrazauskas mrazauskas deleted the remove-coverage-map-js branch March 29, 2026 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants