Prepare for 0.3.0 release

Author: mmhelloworld

.github/workflows/pre-release.yml

@@ -42,4 +42,4 @@ jobs:
           prerelease: true
           title: "Development Build"
           files: |
-            idris-jvm-compiler/target/idris2-0.3.0-SNAPSHOT.zip
+            idris-jvm-compiler/target/idris2-0.3.0.zip

.github/workflows/release.yml

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

idris-jvm-assembler/pom.xml

@@ -5,7 +5,7 @@
     <parent>
         <groupId>io.github.mmhelloworld</groupId>
         <artifactId>idris-jvm</artifactId>
-        <version>0.3.0-SNAPSHOT</version>
+        <version>0.3.0</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 

idris-jvm-compiler/pom.xml

@@ -5,7 +5,7 @@
     <parent>
         <groupId>io.github.mmhelloworld</groupId>
         <artifactId>idris-jvm</artifactId>
-        <version>0.3.0-SNAPSHOT</version>
+        <version>0.3.0</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 

idris-jvm-runtime/pom.xml

@@ -5,7 +5,7 @@
     <parent>
         <groupId>io.github.mmhelloworld</groupId>
         <artifactId>idris-jvm</artifactId>
-        <version>0.3.0-SNAPSHOT</version>
+        <version>0.3.0</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 

idris-jvm-tests/pom.xml

@@ -5,7 +5,7 @@
     <parent>
         <groupId>io.github.mmhelloworld</groupId>
         <artifactId>idris-jvm</artifactId>
-        <version>0.3.0-SNAPSHOT</version>
+        <version>0.3.0</version>
     </parent>
     <modelVersion>4.0.0</modelVersion>
 

pom.xml

@@ -6,7 +6,7 @@
 
     <groupId>io.github.mmhelloworld</groupId>
     <artifactId>idris-jvm</artifactId>
-    <version>0.3.0-SNAPSHOT</version>
+    <version>0.3.0</version>
     <packaging>pom</packaging>
     <name>Idris 2 JVM</name>