Prepare for 0.3.1-rc.2 release

mmhelloworld · Oct 6, 2021 · fdff3c0 · fdff3c0
1 parent 3d8b19f
commit fdff3c0
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 14 deletions.
diff --git a/.github/workflows/install.yml b/.github/workflows/install.yml
@@ -26,13 +26,13 @@ jobs:
           distribution: 'adopt'
           cache: 'maven'
       - name: Set IDRIS2_PREFIX
-        run: echo "IDRIS2_PREFIX=$HOME/bin/idris2-0.3.0-SNAPSHOT/lib" >> $GITHUB_ENV
+        run: echo "IDRIS2_PREFIX=$HOME/bin/idris2-0.3.0/lib" >> $GITHUB_ENV
       - name: Set PREFIX
         run: echo "PREFIX=$IDRIS2_PREFIX" >> $GITHUB_ENV
       - name: Download previous version
         run: |
-          wget https://github.com/mmhelloworld/idris-jvm/releases/download/v0.3.0-rc.1/idris2-0.3.0-SNAPSHOT.zip
-          unzip idris2-0.3.0-SNAPSHOT.zip -d $HOME/bin
-          echo "::add-path::$HOME/bin/idris2-0.3.0-SNAPSHOT/bin"
+          wget https://github.com/mmhelloworld/idris-jvm/releases/download/v0.3.0/idris2-0.3.0.zip
+          unzip idris2-0.3.0.zip -d $HOME/bin
+          echo "::add-path::$HOME/bin/idris2-0.3.0/bin"
       - name: Build
         run: mvn --batch-mode install -Dinteractive= -Didris.tests="only=jvm"
diff --git a/.github/workflows/pre-release.yml b/.github/workflows/pre-release.yml
@@ -29,9 +29,9 @@ jobs:
         run: echo "PREFIX=$IDRIS2_PREFIX" >> $GITHUB_ENV
       - name: Download previous version
         run: |
-          wget https://github.com/mmhelloworld/idris-jvm/releases/download/v0.3.0-rc.1/idris2-0.3.0-SNAPSHOT.zip
-          unzip idris2-0.3.0-SNAPSHOT.zip -d $HOME/bin
-          echo "::add-path::$HOME/bin/idris2-0.3.0-SNAPSHOT/bin"
+          wget https://github.com/mmhelloworld/idris-jvm/releases/download/v0.3.0/idris2-0.3.0.zip
+          unzip idris2-0.3.0.zip -d $HOME/bin
+          echo "::add-path::$HOME/bin/idris2-0.3.0/bin"
       - name: Build
         run: mvn --batch-mode install -DskipTests
 
@@ -42,4 +42,4 @@ jobs:
           prerelease: true
           title: "Development Build"
           files: |
-            idris-jvm-compiler/target/idris2-0.3.0.zip
+            idris-jvm-compiler/target/idris2-0.3.1-SNAPSHOT.zip
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -24,21 +24,21 @@ jobs:
           distribution: 'adopt'
           cache: 'maven'
       - name: Set IDRIS2_PREFIX
-        run: echo "IDRIS2_PREFIX=$HOME/bin/idris2-0.3.0-SNAPSHOT/lib" >> $GITHUB_ENV
+        run: echo "IDRIS2_PREFIX=$HOME/bin/idris2-0.3.0/lib" >> $GITHUB_ENV
       - name: Set PREFIX
         run: echo "PREFIX=$IDRIS2_PREFIX" >> $GITHUB_ENV
       - name: Download previous version
         run: |
-          wget https://github.com/mmhelloworld/idris-jvm/releases/download/v0.3.0-rc.1/idris2-0.3.0-SNAPSHOT.zip
-          unzip idris2-0.3.0-SNAPSHOT.zip -d $HOME/bin
-          echo "::add-path::$HOME/bin/idris2-0.3.0-SNAPSHOT/bin"
+          wget https://github.com/mmhelloworld/idris-jvm/releases/download/v0.3.0/idris2-0.3.0.zip
+          unzip idris2-0.3.0.zip -d $HOME/bin
+          echo "::add-path::$HOME/bin/idris2-0.3.0/bin"
       - name: Build
         run: mvn --batch-mode install -DskipTests
 
       - uses: "marvinpinto/action-automatic-releases@latest"
         with:
           repo_token: "${{ secrets.GITHUB_TOKEN }}"
           prerelease: false
-          title: "Release 0.3.0"
+          title: "Release 0.3.1-rc.2"
           files: |
-            idris-jvm-compiler/target/idris2-0.3.0.zip
+            idris-jvm-compiler/target/idris2-0.3.1-SNAPSHOT.zip