draft

Author: Baltoli

.github/workflows/release.yml

@@ -3,13 +3,12 @@ on:
   push:
     branches:
       - master
+      - debian-package
 
 jobs:
-
-  release:
-    name: 'Publish Release'
+  draft-release:
+    name: 'Draft Release'
     runs-on: ubuntu-latest
-    environment: production
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
@@ -19,17 +18,32 @@ jobs:
         run: |
           set -x
           VERSION=v$(cat package/version)
-          gh release create ${VERSION} --target ${{ github.sha }}
-      - name: 'Update dependents'
-        env:
-          GITHUB_TOKEN: ${{ secrets.JENKINS_GITHUB_PAT }}
-        run: |
-          set -x
-          version="${GITHUB_SHA}"
-          curl --fail                                                          \
-            -X POST                                                            \
-            -H "Accept: application/vnd.github+json"                           \
-            -H "Authorization: Bearer ${GITHUB_TOKEN}"                         \
-            -H "X-GitHub-Api-Version: 2022-11-28"                              \
-            https://api.github.com/repos/runtimeverification/devops/dispatches \
-            -d '{"event_type":"on-demand-test","client_payload":{"repo":"runtimeverification/llvm-backend","version":"'${version}'"}}'
+          gh release create --draft ${VERSION} --target ${{ github.sha }}
+
+#   release:
+#     name: 'Publish Release'
+#     runs-on: ubuntu-latest
+#     environment: production
+#     steps:
+#       - name: 'Check out code'
+#         uses: actions/checkout@v4
+#       - name: 'Make release'
+#         env:
+#           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+#         run: |
+#           set -x
+#           VERSION=v$(cat package/version)
+#           gh release create ${VERSION} --target ${{ github.sha }}
+#       - name: 'Update dependents'
+#         env:
+#           GITHUB_TOKEN: ${{ secrets.JENKINS_GITHUB_PAT }}
+#         run: |
+#           set -x
+#           version="${GITHUB_SHA}"
+#           curl --fail                                                          \
+#             -X POST                                                            \
+#             -H "Accept: application/vnd.github+json"                           \
+#             -H "Authorization: Bearer ${GITHUB_TOKEN}"                         \
+#             -H "X-GitHub-Api-Version: 2022-11-28"                              \
+#             https://api.github.com/repos/runtimeverification/devops/dispatches \
+#             -d '{"event_type":"on-demand-test","client_payload":{"repo":"runtimeverification/llvm-backend","version":"'${version}'"}}'