From 2c47edb67e5d205b447d19c915f58533e1f125fb Mon Sep 17 00:00:00 2001 From: Greg Back Date: Mon, 7 Mar 2022 11:24:23 -0500 Subject: [PATCH] Add GitHub workflow This will ensure PRs will be tested for doc build issues before they're merged, and that updated docs make it into the wordlake when the PRs are merged. --- .github/workflows/dev-docs-builder.yml | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 .github/workflows/dev-docs-builder.yml diff --git a/.github/workflows/dev-docs-builder.yml b/.github/workflows/dev-docs-builder.yml new file mode 100644 index 0000000000..bbc8745854 --- /dev/null +++ b/.github/workflows/dev-docs-builder.yml @@ -0,0 +1,22 @@ +name: Dev docs +on: + pull_request_target: + paths: + - '**.mdx' + - '**.docnav.json' + - '**.docapi.json' + - '**.devdocs.json' + - '**.jpg' + - '**.jpeg' + - '**.png' + - '**.gif' + types: [closed, opened, synchronize, reopened] + +jobs: + internal-docs: + uses: elastic/workflows/.github/workflows/dev-docs-builder.yml@main + secrets: + VERCEL_GITHUB_TOKEN: ${{ secrets.VERCEL_GITHUB_TOKEN }} + VERCEL_TOKEN: ${{ secrets.VERCEL_TOKEN }} + VERCEL_ORG_ID: ${{ secrets.VERCEL_ORG_ID }} + VERCEL_PROJECT_ID_DOCS_DEV: ${{ secrets.VERCEL_PROJECT_ID_DOCS_DEV }}