verus/.github/workflows/rolling-release.yml at e5ede8360fd549afeac04c7ea201cddf9804f0d9 · asterinas/verus · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
name: rolling-release

on:
  push:
    branches: [main]
  workflow_dispatch:

permissions:
  contents: write

concurrency:
  group: rolling-release
  cancel-in-progress: true

jobs:
  # build the release artifacts
  build:
    if: github.repository == 'verus-lang/verus'

    strategy:
      matrix:
        build: [macos, macos-x86_64, linux, windows]
        include:
          - build: macos
            os: macos-14
            release_name: verus-arm64-macos
          - build: macos-x86_64
            os: macos-15-intel
            release_name: verus-x86-macos
          - build: linux
            os: ubuntu-24.04
            release_name: verus-x86-linux
          - build: windows
            os: windows-2022
            release_name: verus-x86-win

    runs-on: ${{ matrix.os }}

    defaults:
      run:
        shell: bash

    steps:
      - name: checkout
        uses: actions/checkout@v6

      - name: get z3
        working-directory: ./source
        run: |
          ./tools/get-z3.sh
          echo "z3 version $(./z3 --version)"

      - name: setup rust
        uses: dtolnay/rust-toolchain@master
        with:
          toolchain: 1.96.0

      - name: build
        working-directory: ./source
        run: |
          . ../tools/activate
          vargo clean
          vargo build --release

      - name: create archive
        working-directory: ./source
        run: |
          ./target-verus/release/verus --version --output-json > ./target-verus/release/version.json
          cp -R ./target-verus/release "../${{ matrix.release_name }}"
          cd ..
          if [ "${{ matrix.os }}" == "windows-2022" ]; then
            7z a "${{ matrix.release_name }}.zip" "./${{ matrix.release_name }}"
          else
            zip -r "${{ matrix.release_name }}.zip" "./${{ matrix.release_name }}"
          fi

      - name: upload release artifact
        uses: actions/upload-artifact@v7
        with:
          name: ${{ matrix.release_name }}
          path: ${{ matrix.release_name }}.zip

  # publish the release artifacts to the rolling pre-release
  publish:
    needs: [build]
    runs-on: ubuntu-24.04
    steps:
      - name: download all artifacts
        uses: actions/download-artifact@v8

      - name: create release tag
        shell: bash
        run: |
          cd verus-x86-linux
          unzip verus-x86-linux.zip
          cd ..
          version="$(cat ./verus-x86-linux/verus-x86-linux/version.txt)"
          {
            echo "TAG_NAME=release/rolling/${version}"
            echo "RELEASE_NAME=${version}"
          } >> "$GITHUB_ENV"
          echo "${version}"

      - name: list artifacts
        run: ls -Al .

      - name: update release
        id: update_release
        uses: verus-lang/action-update-release@v0.2
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        with:
          id: 163437062
          new_name: Rolling Release ${{ env.RELEASE_NAME }}
          new_body: |
            Rolling release from Continuous Integration
          delete_tags_prefix: release/rolling/
          delete_assets: true
          new_draft_status: true

      - name: upload release for x86-linux
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
          UPLOAD_URL: ${{ steps.update_release.outputs.upload_url }}
        run: |
          curl -fsSL -X POST \
            -H "Authorization: Bearer $GITHUB_TOKEN" \
            -H "Content-Type: application/zip" \
            --data-binary @./verus-x86-linux/verus-x86-linux.zip \
            "${UPLOAD_URL%%\{*}?name=verus-${{ env.RELEASE_NAME }}-x86-linux.zip"

      - name: upload release for arm64-macos
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
          UPLOAD_URL: ${{ steps.update_release.outputs.upload_url }}
        run: |
          curl -fsSL -X POST \
            -H "Authorization: Bearer $GITHUB_TOKEN" \
            -H "Content-Type: application/zip" \
            --data-binary @./verus-arm64-macos/verus-arm64-macos.zip \
            "${UPLOAD_URL%%\{*}?name=verus-${{ env.RELEASE_NAME }}-arm64-macos.zip"

      - name: upload release for x86-macos
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
          UPLOAD_URL: ${{ steps.update_release.outputs.upload_url }}
        run: |
          curl -fsSL -X POST \
            -H "Authorization: Bearer $GITHUB_TOKEN" \
            -H "Content-Type: application/zip" \
            --data-binary @./verus-x86-macos/verus-x86-macos.zip \
            "${UPLOAD_URL%%\{*}?name=verus-${{ env.RELEASE_NAME }}-x86-macos.zip"

      - name: upload release for x86-win
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
          UPLOAD_URL: ${{ steps.update_release.outputs.upload_url }}
        run: |
          curl -fsSL -X POST \
            -H "Authorization: Bearer $GITHUB_TOKEN" \
            -H "Content-Type: application/zip" \
            --data-binary @./verus-x86-win/verus-x86-win.zip \
            "${UPLOAD_URL%%\{*}?name=verus-${{ env.RELEASE_NAME }}-x86-win.zip"

      - name: publish release
        uses: verus-lang/action-update-release@v0.2
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        with:
          id: 163437062
          new_tag: ${{ env.TAG_NAME }}
          new_draft_status: false