v1.2.1

What's Changed

• Bump CI from Node 16 to Node 20 by @Peiyang-Song in #65
• fix: coe string -> name removed, explicitly call String.toName by @alok in #67
• Support Lean v4.8.0-rc1 by @Peiyang-Song in #70
• Update demo by @Peiyang-Song in #71

New Contributors

• @alok made their first contribution in #67

Full Changelog: v1.2.0...v1.2.1