Add standardized Sourcegraph CI (build checks + code intel)#1

eseliger wants to merge 1 commit into

mainsourcegraph-testing/nav-test:mainfrom

add-sourcegraph-ci-00f0b20e-d797-4140-93a5-0c41b89d0df2sourcegraph-testing/nav-test:add-sourcegraph-ci-00f0b20e-d797-4140-93a5-0c41b89d0df2Copy head branch name to clipboard