Code

WIP: Implement option to force kill#288

Code

Open

agoscinski wants to merge 3 commits intomasteraiidateam/plumpy:masterfrom force-killaiidateam/plumpy:force-killCopy head branch name to clipboard

+18-5

Commits

Commits on Sep 27, 2024

• WIP: Implement option to allow force kill

  Show description for 07c30db
  agoscinski

  committed
  07c30db

Commits on Oct 2, 2024

• Implementation with minimal changes

  khsrali

  committed
  00fe7b5

Commits on Dec 15, 2024

• Merge branch 'master' into force-kill

  unkcpz

  authored
  f1f8095