chore: move playground to eslint-online-playground

#829

Pull request

Merged
B
baseballyama
Jul 20, 2024, 10:24 AM

This PR is part of #824. It represents the first step in the omnisite.

In this update, I switched playground to eslint-online-playground. The transition to twoslash-eslint will be made in the next PR. After tht I think we can remove all ESLint runners from the documentation site to simplify the build process.

Info

Merged at Jul 21, 2024, 11:37 PM
Merged by ota-meshi
Assignees None
Reviewers None
Labels None
Milestone None