Code

Number of workers setup#18

Code

Open

ph4ge wants to merge 1 commit intoruntimeverification:masterruntimeverification/kontrol-demo:masterfrom ph4ge:masterph4ge/kontrol-demo:masterCopy head branch name to clipboard

+1-1

Commits

Commits on Jun 24, 2024

• -j, if it has to be arbitrary, it can be arbitrarily friendly. BTW, that command also works on BSD systems

  ph4ge

  committed
  e228c17