Diffusion Isabelle f17cbbbdb3c3

systematic testing of arm64_32-darwin;
f17cbbbdb3c3
Actions

Tags

None

Subscribers

None

Description

systematic testing of arm64_32-darwin;

Details

Provenance

Authored on

Parents

rISABELLE18c2c03a699d: more hardware details;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf17cbbbdb3c3: systematic testing of arm64_32-darwin;.Aug 7 2023, 3:20 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLEf17cbbbdb3c3

src/Pure/Admin/isabelle_cronjob.scala

Loading...