Noteble slowdown of AFP/Native_Word
Makarius
makarius at sketis.net
Sun Jul 27 19:59:05 CEST 2025
On 27/07/2025 19:25, Florian Haftmann wrote:
>
> Honestely, these are things were I miss the plain old isatest with its
> generated charts.
These charts are now here:
https://isatest.sketis.net/devel/build_status/index.html
The most reliable test hardware is presently:
* mini3: macOS 13 Ventura (ARM)
* studio1: macOS 14 Sonoma (ARM)
When I have figured out how to rent an old-fashioned server room in Augsburg
for a reasonable price, I will put a proper Linux + Windows test machine
there, too.
Makarius
More information about the isabelle-dev
mailing list