Diffusion Isabelle 7ceed24c88dc

alternate AFP tests on lrzcloud2, to fit better into one day;
7ceed24c88dc
Actions

Tags

None

Subscribers

None

Description

alternate AFP tests on lrzcloud2, to fit better into one day;

Details

Provenance

Authored on

Parents

rISABELLE1250a1f2bc1e: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7ceed24c88dc: alternate AFP tests on lrzcloud2, to fit better into one day;.Jan 31 2023, 11:17 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

General/

rISABELLE7ceed24c88dc

src/Pure/Admin/isabelle_cronjob.scala

Loading...

src/Pure/General/date.scala

Loading...