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

[Karolis Petrauskas <k.petrauskas@xxxxxxxxx>]

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.helwer@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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/bdbf5a88-3788-4357-bede-fd48379e87fen%40googlegroups.com.

-- 
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/CAFteovKCGQB%2BFJAZVzq90f9_ADjWtf-Wx2%3DJYNCinW6AnMpW7Q%40mail.gmail.com.