diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-10-08 03:46:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-08 03:46:47 -0700 |
| commit | 120cc0d2283d4e629ac264d8d2c1d3ff1654be52 (patch) | |
| tree | 54e908cd99f8353ab9737778295566053a89ec5a /.github | |
| parent | 4d8e954c952db015e28d218b4c23f038155797ad (diff) | |
Attach the static binaries to a release (#7324)
This adds another step to our CI pipeline that uploads the binary build by some of the jobs to a release.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/actions/add-to-release/action.yml | 17 | ||||
| -rw-r--r-- | .github/workflows/ci.yml | 8 |
2 files changed, 25 insertions, 0 deletions
diff --git a/.github/actions/add-to-release/action.yml b/.github/actions/add-to-release/action.yml new file mode 100644 index 000000000..09998f46f --- /dev/null +++ b/.github/actions/add-to-release/action.yml @@ -0,0 +1,17 @@ +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 + 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-* diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6cea1122f..df59ad379 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -13,6 +13,7 @@ jobs: python-bindings: true build-documentation: true check-examples: true + store-to-release: true exclude_regress: 3-4 run_regression_args: --no-check-unsat-cores --no-check-proofs @@ -22,6 +23,7 @@ jobs: cache-key: production python-bindings: true check-examples: true + store-to-release: true exclude_regress: 3-4 run_regression_args: --no-check-unsat-cores --no-check-proofs @@ -254,3 +256,9 @@ jobs: with: name: documentation path: build/docs/sphinx-gh/ + + - name: Add binary to release + if: matrix.store-to-release && startsWith(github.ref, 'refs/tags/') + uses: ./.github/actions/add-to-release + with: + github-token: ${{ secrets.GITHUB_TOKEN }} |