Code

fix: better cancelled jobs handling#5631

Code

Merged

rgrinberg merged 1 commit intomainocaml/dune:mainfrom ps/rr/fix__better_cancelled_jobs_handlingocaml/dune:ps/rr/fix__better_cancelled_jobs_handlingCopy head branch name to clipboardMay 3, 2022

+36-20

Commits

Commits on May 3, 2022

• fix: better cancelled jobs handling

  Show description for 0500ce2
  rgrinberg

  committed
  0500ce2

  Copy full SHA for 0500ce2