Store latest builds in a special release (#8337)
authorGereon Kremer <gkremer@cs.stanford.edu>
Wed, 23 Mar 2022 04:11:04 +0000 (05:11 +0100)
committerGitHub <noreply@github.com>
Wed, 23 Mar 2022 04:11:04 +0000 (04:11 +0000)
commit706a1c85c4a7d7e6039268cc54900ac852902fc2
tree2a94e909633407901f36e42568d040e4acada3a9
parent740e83760d645080a5edc6b51457c841ad89cb6a
Store latest builds in a special release (#8337)

This PR refactors our current github ci action that takes care of storing binaries for releases. It now stores binaries both in the current release (if we are in a release build) or attaches them to a special latest tag. For any regular build on the master branch, it moves the latest tag to the current commit, weeds out the current assets attached to that latest release and adds the current binary. This makes sure we always have the equivalent of our current nightly builds in one place.

Co-authored-by: Andres Noetzli <andres.noetzli@gmail.com>
.github/actions/add-to-release/action.yml [deleted file]
.github/actions/store-binary/action.yml [new file with mode: 0644]
.github/workflows/ci.yml