chore: Fix enterprise server build
There are no commits yet
Push commits to the source branch or add previously merged commits to review them.
Created by: efritz
Take 2 for https://github.com/sourcegraph/sourcegraph/pull/14721.
Push commits to the source branch or add previously merged commits to review them.