hopscotch/.github/workflows/release.yml at fe5d9e4a4c0cfda53b234bb55714521d0720969b · leanprover-community/hopscotch · 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
name: release

on:
  push:
    tags: ["v*"]
  workflow_dispatch:

jobs:
  test:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v6
      - uses: leanprover/lean-action@v1.4.0
        with:
          build: true
          test: true

  build:
    needs: test
    strategy:
      matrix:
        include:
          - os: ubuntu-latest
            artifact: hopscotch-linux-x86_64
            binary: hopscotch
          - os: macos-15-intel
            artifact: hopscotch-macos-x86_64
            binary: hopscotch
          - os: macos-latest
            artifact: hopscotch-macos-arm64
            binary: hopscotch
          - os: windows-latest
            artifact: hopscotch-windows-x86_64
            binary: hopscotch.exe
    runs-on: ${{ matrix.os }}
    steps:
      - uses: actions/checkout@v6
      - uses: leanprover/lean-action@v1.4.0
        with:
          build-args: hopscotch
          test: false
      - uses: actions/upload-artifact@v7.0.0
        with:
          name: ${{ matrix.artifact }}
          path: .lake/build/bin/${{ matrix.binary }}
          if-no-files-found: error

  release:
    needs: build
    if: github.ref_type == 'tag'
    runs-on: ubuntu-latest
    permissions:
      contents: write
    steps:
      - uses: actions/download-artifact@v4
      - name: Rename binaries
        run: |
          mv hopscotch-linux-x86_64/hopscotch hopscotch-linux-x86_64/hopscotch-linux-x86_64
          mv hopscotch-macos-x86_64/hopscotch hopscotch-macos-x86_64/hopscotch-macos-x86_64
          mv hopscotch-macos-arm64/hopscotch hopscotch-macos-arm64/hopscotch-macos-arm64
          mv hopscotch-windows-x86_64/hopscotch.exe hopscotch-windows-x86_64/hopscotch-windows-x86_64.exe
      - uses: softprops/action-gh-release@153bb8e04406b158c6c84fc1615b65b24149a1fe
        with:
          generate_release_notes: true
          files: |
            hopscotch-linux-x86_64/hopscotch-linux-x86_64
            hopscotch-macos-x86_64/hopscotch-macos-x86_64
            hopscotch-macos-arm64/hopscotch-macos-arm64
            hopscotch-windows-x86_64/hopscotch-windows-x86_64.exe