Diffusion Isabelle ae7912a42b9d

more robust build on midrange hardware;
ae7912a42b9d
Actions

Tags

None

Subscribers

None

Description

more robust build on midrange hardware;

Details

Provenance

Authored on

Parents

rISABELLEa5eb407ec867: clarified tests: omit somewhat pointless (unstable) results;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEae7912a42b9d: more robust build on midrange hardware;.Nov 27 2021, 3:39 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLEae7912a42b9d

src/Pure/Admin/build_release.scala

Loading...