Code

Test jenkins1#2861

Code

Closed

radumereuta wants to merge 21 commits intomasterruntimeverification/k:masterfrom testJenkins1runtimeverification/k:testJenkins1Copy head branch name to clipboard

+4-485

Commits

Commits on Sep 7, 2022

• Test Jenkins parallelism

  radumereuta

  committed
  e13006d

  Copy full SHA for e13006d

• Remove docker pushes

  radumereuta

  committed
  7e0510e

  Copy full SHA for 7e0510e

• Remove hub release

  radumereuta

  committed
  dcb507f

  Copy full SHA for dcb507f

• Remove kserver call

  radumereuta

  committed
  3ffe632

  Copy full SHA for 3ffe632

• mvn package

  radumereuta

  committed
  8d78324

  Copy full SHA for 8d78324

• Add back kserver call

  radumereuta

  committed
  fa8d465

  Copy full SHA for fa8d465

• Try agent none

  radumereuta

  committed
  95285b9

  Copy full SHA for 95285b9

• Undo agent none

  radumereuta

  committed
  f708a6c

  Copy full SHA for f708a6c

• Skip more expensive tests

  radumereuta

  committed
  d49551e

  Copy full SHA for d49551e

• -D

  radumereuta

  committed
  68d84d6

  Copy full SHA for 68d84d6

• One minus

  radumereuta

  committed
  43419ca

  Copy full SHA for 43419ca

• Try agent non at top level.

  radumereuta

  committed
  9c96375

  Copy full SHA for 9c96375

Commits on Sep 13, 2022

• Remove GH workflows

  Show description for 25bbba9
  radumereuta

  committed
  25bbba9

  Copy full SHA for 25bbba9

• label docker at the top again

  radumereuta

  committed
  3acab31

  Copy full SHA for 3acab31

• Agent any

  radumereuta

  committed
  4f0a819

  Copy full SHA for 4f0a819

• Remove build

  radumereuta

  committed
  1a95d1d

  Copy full SHA for 1a95d1d

• Agent none and remove the rest

  radumereuta

  committed
  26d286e

  Copy full SHA for 26d286e

• Agent label only at the top

  radumereuta

  committed
  c40c063

  Copy full SHA for c40c063

• Remove build image focal

  radumereuta

  committed
  28fe71d

  Copy full SHA for 28fe71d

• Focal back

  radumereuta

  committed
  5c2554b

  Copy full SHA for 5c2554b

• Build deb

  radumereuta

  committed
  20bc0f2

  Copy full SHA for 20bc0f2