Prepare for 0.4.0-rc.2

Author: mmhelloworld

.github/workflows/release.yml

@@ -39,6 +39,6 @@ jobs:
         with:
           repo_token: "${{ secrets.GITHUB_TOKEN }}"
           prerelease: false
-          title: "Release 0.4.0-rc.1"
+          title: "Release 0.4.0-rc.2"
           files: |
             idris-jvm-compiler/target/idris2-0.4.0-SNAPSHOT.zip