Code

Start kdist workers with spawn#4601

Code

Merged

rv-jenkins merged 5 commits intodevelopruntimeverification/k:developfrom kdist-spawnruntimeverification/k:kdist-spawnCopy head branch name to clipboardAug 23, 2024

+18-5

Commits

Commits on Aug 21, 2024

• Move LOG_FORMAT to utils

  tothtamas28

  committed
  c44719e

  Copy full SHA for c44719e

• Set start method to spawn

  tothtamas28

  committed
  4f49117

  Copy full SHA for 4f49117

• Set log level in subprocess

  tothtamas28

  committed
  48b57f5

  Copy full SHA for 48b57f5

• Merge branch 'develop' into kdist-spawn

  tothtamas28

  authored
  3630f1d

  Copy full SHA for 3630f1d

Commits on Aug 23, 2024

• Merge branch 'develop' into kdist-spawn

  tothtamas28

  authored
  d07ca7a

  Copy full SHA for d07ca7a