Release process fixes (#2403)

* Fix documentation of pushing tag for release
* Echo version numbers in release workflow
* Add get-version to dependencies of release
* Only create tag for prereleases

.github/workflows/publish-release-reusable.yml

@@ -37,13 +37,16 @@ jobs:
   publish-release:
     runs-on: macos-latest
     steps:
+    - name: Print version
+      run: echo ${{ inputs.name }}
     - name: Checkout Dafny
       uses: actions/checkout@v2
       with:
         path: dafny
         ref: ${{ inputs.sha }}
     - uses: actions/setup-python@v1
     - name: Ensure tag exists
+      if: ${{ inputs.prerelease }}
       run: |
         git tag ${{ inputs.tag_name }} -f
         git push origin ${{ inputs.tag_name }} -f

.github/workflows/publish-release.yml

@@ -20,10 +20,13 @@ jobs:
     steps:
       - id: get-version
         uses: battila7/get-version-action@v2
+      - run: echo ${{ steps.get-version.outputs.version }}
+      - run: echo ${{ steps.get-version.outputs.version-without-v }}
     outputs:
       version: ${{ steps.get-version.outputs.version-without-v }}
 
   publish-release:
+    needs: [get-version]
     uses: ./.github/workflows/publish-release-reusable.yml
     with:
       name: ${{ needs.get-version.outputs.version }}

docs/dev/RELEASE.md

@@ -45,7 +45,7 @@
    git clone [email protected]:dafny-lang/dafny.git dafny-for-tagging
    cd dafny-for-tagging
    git tag v<$VER>
-   git push v<$VER>
+   git push origin v<$VER>
    ```
 
 5. A GitHub action will automatically run in reaction to the tag being pushed,