11That repo still uses the old circle ci queue (free) that I used to own/manage. I noticed it is no longer running/reporting on new PRs.
This PR switches it to use GitHub actions, which is tied to the repo owners (no longer my own private account), and also benefits from the better CI/reporting provided by GitHub.
Also upgrades a few deprecated npm packages, and switch to yarn, since I cannot land this without fixing the build first.
11That repo still uses the old circle ci queue (free) that I used to own/manage. I noticed it is no longer running/reporting on new PRs.
This PR switches it to use GitHub actions, which is tied to the repo owners (no longer my own private account), and also benefits from the better CI/reporting provided by GitHub.
Also upgrades a few deprecated npm packages, and switch to yarn, since I cannot land this without fixing the build first.