Code

Rpc higher priority than build jobs#4743

Code

Merged

aalekseyev merged 5 commits intoocaml:mainocaml/dune:mainfrom aalekseyev:rpc-higher-priority-than-build-jobsaalekseyev/dune:rpc-higher-priority-than-build-jobsCopy head branch name to clipboardJun 17, 2021

+103-50

Commits

Commits on Jun 16, 2021

• refactor scheduler event sources

  Show description for a4f74a7
  aalekseyev

  committed
  a4f74a7

  Copy full SHA for a4f74a7

• actually switch the order

  Show description for b238cc2
  aalekseyev

  committed
  b238cc2

  Copy full SHA for b238cc2

• typo

  Show description for 29d40e0
  aalekseyev

  committed
  29d40e0

  Copy full SHA for 29d40e0

• Incorporate suggested cleanups

  Show description for da8ae44
  aalekseyev

  committed
  da8ae44

  Copy full SHA for da8ae44

Commits on Jun 17, 2021

• Merge branch 'main' into rpc-higher-priority-than-build-jobs

  aalekseyev

  authored
  9e6b5b2

  Copy full SHA for 9e6b5b2