Bumps [hmarr/auto-approve-action](https://github.com/hmarr/auto-approve-action) from 2.2.1 to 2.4.0.
- [Release notes](https://github.com/hmarr/auto-approve-action/releases)
- [Commits](https://github.com/hmarr/auto-approve-action/compare/v2.2.1...v2.4.0)

---
updated-dependencies:
- dependency-name: hmarr/auto-approve-action
  dependency-type: direct:production
  update-type: version-update:semver-minor
...
Signed-off-by: Ndependabot[bot] <support@github.com>
Signed-off-by: Ndependabot[bot] <support@github.com>
Co-authored-by: Ndependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

* Update sbt-scoverage to 2.0.2

* Revert commit(s) 9a2387a

* Update sbt-scoverage to 2.0.2

* Update scala-compiler, scala-library, ... to 2.12.16

* Revert commit(s) b94e94e

* Update scala-compiler, scala-library, ... to 2.12.16

Signed-off-by: 梦境迷离 <dreamylost@outlook.com>

Signed-off-by: 梦境迷离 <dreamylost@outlook.com>

* remove unavailable modules

* Delete README.md

* Rename README_CN.md to README.md

* Update README.md

* add TransformableSyntax

Signed-off-by: 梦境迷离 <dreamylost@outlook.com>

* remove benchmark and update readme
Signed-off-by: 梦境迷离 <dreamylost@outlook.com>

* remove json
Signed-off-by: 梦境迷离 <dreamylost@outlook.com>

* fix cache

* refactor smt-cache

* support options