.github/actions/add-to-release/action.yml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

name: Add binary to release
description: Add cvc5 binary to the current release
inputs:
  github-token:
    description: token to upload binary
runs:
  using: composite
  steps:
    - name: Rename binaries for release
      shell: bash
      run: |
        cp build/bin/cvc5 cvc5-${{ runner.os }}

    - name: Add binaries to release
      uses: softprops/action-gh-release@v1
      with:
        token: ${{ inputs.github-token }}
        files: cvc5-*