Currently, the CI badge in README is:
[![actions]](https://github.com/aya-prover/aya-dev/actions/workflows/gradle-check.yml)
However, since the workflow is renamed to gradle-check.yaml in #996, the URL to the CI badge should be updated correspondingly.