mirror of
https://github.com/sourcegraph/sourcegraph.git
synced 2026-02-06 20:11:54 +00:00
Shaves about 30/40s from `sg lint` where docs are detected as well as all builds on `main`, as doc changes are pretty rare, and we're unecessarily testing those in every commit reaching `main`. ## Test plan <!-- All pull requests REQUIRE a test plan: https://docs.sourcegraph.com/dev/background-information/testing_principles --> Locally tested + CI
8 lines
70 B
Bash
Executable File
8 lines
70 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -e
|
|
|
|
docsite_bin="$1"
|
|
|
|
"${docsite_bin}" check
|