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