Fix libraries packaging

mmhelloworld · Dec 28, 2021 · 053ed96 · 053ed96
1 parent f133107
commit 053ed96
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/release.yml b/.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
diff --git a/idris-jvm-compiler/src/assembly/bin.xml b/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>