Skip to content

Conversation

@msarcev
Copy link
Collaborator

@msarcev msarcev commented Apr 22, 2025

Type of change

Closes #1495

@msarcev msarcev marked this pull request as ready for review April 23, 2025 10:34
Copy link
Collaborator

@evavirseda evavirseda left a comment

Choose a reason for hiding this comment

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

🙏

@begonaalvarezd begonaalvarezd merged commit 0c6b7ed into main Apr 29, 2025
6 checks passed
@begonaalvarezd begonaalvarezd deleted the tooling/deprecate-explorer branch April 29, 2025 13:18
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.

Deprecate explorer

5 participants