Diffusion Isabelle 11cf77478d3e

more explicit check;
11cf77478d3e
Actions

Tags

None

Subscribers

None

Description

more explicit check;

Details

Provenance

Authored on

Parents

rISABELLEed07f0ebf31c: proper numa_nodes for build_worker;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE11cf77478d3e: more explicit check;.Aug 23 2023, 2:23 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_cluster.scala

rISABELLE11cf77478d3e

src/Pure/Tools/build_cluster.scala

Loading...