20846: Remove workbench1 from `arvados-server install`.
authorTom Clegg <tom@curii.com>
Wed, 25 Oct 2023 19:49:21 +0000 (15:49 -0400)
committerTom Clegg <tom@curii.com>
Fri, 3 Nov 2023 20:00:11 +0000 (16:00 -0400)
commit4ad36ef0580a438f10c0f76a99c7502f5ed4473b
tree502989082a78002312007ab127037b4ff1e620eb
parentbf31106bd4a74dd41cae846e1d51e02e033e9a90
20846: Remove workbench1 from `arvados-server install`.

Arvados-DCO-1.1-Signed-off-by: Tom Clegg <tom@curii.com>
lib/install/deps.go