16636: Merge branch 'master' into 16636-more-metrics
authorWard Vandewege <ward@curii.com>
Tue, 15 Sep 2020 19:32:15 +0000 (15:32 -0400)
committerWard Vandewege <ward@curii.com>
Tue, 15 Sep 2020 19:32:30 +0000 (15:32 -0400)
commit3f5b1be0f705c8f1491fdca5e3b57982d97378fd
tree007944a5fd4eca145945bd84ea89934f62d5777d
parentc0eed4ee7f222f436beb8528e31ed344d6f9bd71
parente2d623bd4c686100772924b2b15ab808bbb147d0
16636: Merge branch 'master' into 16636-more-metrics

Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward@curii.com>
lib/dispatchcloud/dispatcher_test.go
lib/dispatchcloud/worker/pool.go
lib/dispatchcloud/worker/worker.go