Skip to content
This repository has been archived by the owner on Oct 31, 2024. It is now read-only.

chore: remove mention of topos-api from coverage YAML #438

Merged
merged 3 commits into from
Jan 29, 2024

Conversation

dvdplm
Copy link
Contributor

@dvdplm dvdplm commented Jan 23, 2024

Cleanup after #436.

@dvdplm dvdplm requested a review from a team as a code owner January 23, 2024 11:46
@dvdplm dvdplm requested review from Freyskeyd and hadjiszs January 23, 2024 11:46
@dvdplm
Copy link
Contributor Author

dvdplm commented Jan 26, 2024

@Freyskeyd PTAL again when you have a chance. :)

@Freyskeyd Freyskeyd merged commit 6c7e342 into main Jan 29, 2024
18 checks passed
@Freyskeyd Freyskeyd deleted the dp-remove-topos-api-from-coverage branch January 29, 2024 06:28
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants