Re: [tlaplus] TLAPM now publishes rolling pre-releases

We could do that; github only allows the latest release to be a full release, not a pre-release, although the release's name does make it clear that it is a prerelease. I would have to update the tlaplus/examples CI before making the change since it pulls the latest TLAPM release to check proofs and there are a few additional proof checking failures with this new prerelease.

On Saturday, December 21, 2024 at 5:08:03 AM UTC-6 Karolis Petrauskas wrote:

Can we tweak it so the main page shows it as the latest release?
Currently, it still shows an old version. I think this confuses a lot of newcomers.

Karolis

On Wed, Dec 4, 2024 at 9:59 PM Andrew Helwer <andrew...@xxxxxxxxx> wrote:
Hello all,

Pleased to announce that TLAPM now publishes rolling pre-releases built directly from the head of the main branch, similar to the Java-based TLA+ tools. You can download these pre-built artifacts here:

https://github.com/tlaplus/tlapm/releases/tag/1.6.0-pre

Andrew Helwer

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/bdbf5a88-3788-4357-bede-fd48379e87fen%40googlegroups.com.