[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Historical tla2tools.jar rolling builds
We don't archive those builds currently. However, let's continue the discussion in a GitHub issue, if you believe archiving is necessary.
By the way, I've been using git bisect for finding regressions, in case that's what you’re after.
Markus
> On Jan 7, 2024, at 1:23 AM, Andrew Helwer <andrew.helwer@xxxxxxxxx> wrote:
>
> Primarily I'm interested in the build of every commit of main that is uploaded to the 1.8.0. rolling prerelease; are those archived anywhere or just overwritten?
--
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 on the web visit https://groups.google.com/d/msgid/tlaplus/98D409E1-E276-4D81-ADBE-CDE6A53F45E7%40lemmster.de.