projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d8e954) | patch
Attach the static binaries to a release (#7324)
authorGereon Kremer <nafur42@gmail.com>
Fri, 8 Oct 2021 10:46:47 +0000 (03:46 -0700)
committerGitHub <noreply@github.com>
Fri, 8 Oct 2021 10:46:47 +0000 (03:46 -0700)
commit120cc0d2283d4e629ac264d8d2c1d3ff1654be52
tree54e908cd99f8353ab9737778295566053a89ec5atree
parent4d8e954c952db015e28d218b4c23f038155797adcommit | 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.
.github/actions/add-to-release/action.yml [new file with mode: 0644] blob
.github/workflows/ci.yml diff | blob | history