Fix libraries packaging

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.3"
+          title: "Release 0.4.0-rc.4"
           files: |
             idris-jvm-compiler/target/idris2-0.4.0-SNAPSHOT.zip

idris-jvm-compiler/src/assembly/bin.xml

@@ -7,8 +7,8 @@
     </formats>
     <fileSets>
         <fileSet>
-            <directory>${env.IDRIS2_PREFIX}/idris2-0.3.0</directory>
-            <outputDirectory>lib/idris2-0.3.0</outputDirectory>
+            <directory>${env.IDRIS2_PREFIX}/idris2-0.4.0</directory>
+            <outputDirectory>lib/idris2-0.4.0</outputDirectory>
         </fileSet>
         <fileSet>
             <directory>${project.build.directory}/assembly</directory>