diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml new file mode 100644 index 0000000..dc2ee93 --- /dev/null +++ b/.github/workflows/docs.yml @@ -0,0 +1,33 @@ +name: Docs + +permissions: + contents: read + +on: + pull_request: + push: + branches: + - main + + +jobs: + docs: + runs-on: ubuntu-22.04 + steps: + - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7 + with: + repository: envoyproxy/envoy + path: envoy + - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7 + with: + path: examples + - run: | + TARGET_COMMIT=$(git rev-parse HEAD) + echo "TARGET_COMMIT=${TARGET_COMMIT}" >> "$GITHUB_ENV" + working-directory: examples + - run: | + echo "Updating example commit: ${TARGET_COMMIT}" + working-directory: envoy + - run: | + bazel build --config=ci //docs + working-directory: envoy