Code

Abort jobs as early as possible#9927

Code

Merged

mergify[bot] merged 3 commits intodevelopenso-org/enso:developfrom wip/hubert/9789-setexecutionenv-slowenso-org/enso:wip/hubert/9789-setexecutionenv-slowCopy head branch name to clipboardMay 13, 2024

+23-3

Commits

Commits on May 12, 2024

• Abort jobs as early as possible

  Show description for 2590f5e
  hubertp

  committed
  2590f5e

  Copy full SHA for 2590f5e

• more logs

  hubertp

  committed
  998f002

  Copy full SHA for 998f002

• Allow for overriding parallelism from the outside

  hubertp

  committed
  6dfe5a8

  Copy full SHA for 6dfe5a8