Stable release or "latest" tag?

[podhrmic]

Hello!

I need to automate the installation of verus on a linux machine, and the fact your are using a rolling release makes pinning a particular tag/commit not possible (as the older releases are deleted). Would it be possible to keep the latest release under a consistent tag, such that I can reliably pull it from a script?

Specifically, instead of wget https://github.com/verus-lang/verus/releases/download/release%2Frolling%2F0.2025.02.06.cec767d/verus-0.2025.02.06.cec767d-x86-linux.zip one could do https://github.com/verus-lang/verus/releases/download/latest/verus-latest-x86-linux.zip

The goal is to automatically install the latest version of verus.

[jaybosamiya-ms]

You might find these steps from another CI that gets the latest nightly directly helpful:
https://github.com/secure-foundations/human-eval-verus/blob/54c42c46b254ef348d1b2f57cbb77b6453baa80e/.github/workflows/verus.yml#L16-L24