Minor change in the Event subscription Filter

[teohaik]

trafficstars

The example Event Filter does not work. Requires type casting

[vercel[bot]]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Comments	Updated
explorer	✅ Ready (Inspect)	Visit Preview	💬 Add your feedback	Feb 13, 2023 at 9:36AM (UTC)
frenemies	✅ Ready (Inspect)	Visit Preview	💬 Add your feedback	Feb 13, 2023 at 9:36AM (UTC)
wallet-adapter	✅ Ready (Inspect)	Visit Preview	💬 Add your feedback	Feb 13, 2023 at 9:36AM (UTC)

1 Ignored Deployment

Name	Status	Preview	Comments	Updated
explorer-storybook	⬜️ Ignored (Inspect)			Feb 13, 2023 at 9:36AM (UTC)

[github-actions[bot]]

⚠️ 🦋 Changesets Warning: This PR has changes to public npm packages, but does not contain a changeset. You can create a changeset easily by running pnpm changeset in the root of the Sui repo, and following the prompts. If your change does not need a changeset (e.g. a documentation-only change), you can ignore this message. This warning will be removed when a changeset is added to this pull request.

Learn more about Changesets.

[github-actions[bot]]

This PR is stale because it has been open 60 days with no activity. Remove stale label or comment or this will be closed in 7 days.

[stefan-mysten]

Not sure if this is still relevant, so closing for now.