Merge pull request #205 from viperproject/keep-nightly-releases

Adapts to CI to keep nightly releases
viperproject · Apr 2, 2024 · 3a21676 · 3a21676
2 parents 5a3871b + 8345f7c
commit 3a21676
Showing 1 changed file with 3 additions and 22 deletions.
diff --git a/.github/workflows/scala.yml b/.github/workflows/scala.yml
@@ -324,16 +324,16 @@ jobs:
       - name: Create nightly release
         if: env.MATCHING_RELEASE != 'true'
         id: create_release
-        uses: viperproject/create-nightly-release@v1
+        uses: actions/create-release@v1
         env:
           # This token is provided by Actions, you do not need to create your own token
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         with:
           tag_name: ${{ env.TAG_NAME }}
           release_name: Nightly Release ${{ env.TAG_NAME }}
           body_path: versions.txt
-          keep_num: 1 # keep the previous nightly release such that there are always two
-          keep_tags: true
+          draft: false
+          prerelease: true
 
       - name: Upload ViperServer skinny jars
         if: env.MATCHING_RELEASE != 'true'
@@ -357,25 +357,6 @@ jobs:
           asset_name: viperserver.jar
           asset_content_type: application/octet-stream
 
-      - name: Trigger Viper-IDE CI
-        if: env.MATCHING_RELEASE != 'true'
-        run: |
-          curl --fail --request POST \
-          --user 'viper-admin:${{ secrets.VIPER_ADMIN_TOKEN }}' \
-          --header 'Accept: application/vnd.github.v3+json' \
-          --url 'https://api.github.com/repos/viperproject/viper-ide/actions/workflows/test.yml/dispatches' \
-          --data "{ \
-            \"ref\":\"master\", \
-            \"inputs\":{ \
-              \"type\":\"nightly\", \
-              \"viperserver_tag_name\":\"${{ env.TAG_NAME }}\", \
-              \"boogie_tag_name\":\"latest\", \
-              \"z3_version\":\"${{ env.Z3_VERSION }}\", \
-              \"tag_name\":\"${{ env.TAG_NAME }}\", \
-              \"release_name\":\"Nightly Release ${{ env.TAG_NAME }}\" \
-            } \
-          }"
-
 
   create-stable-release:
     needs: test