Skip to content

Documentation Publish (Pull Request) #225600

Documentation Publish (Pull Request)

Documentation Publish (Pull Request) #225600

# Copyright (c) 2020 Linaro Limited.
# Copyright (c) 2021 Nordic Semiconductor ASA
# SPDX-License-Identifier: Apache-2.0
name: Documentation Publish (Pull Request)
on:
workflow_run:
workflows: ["Documentation Build"]
types:
- completed
permissions:
contents: read
pull-requests: read
jobs:
doc-publish:
name: Publish Documentation
runs-on: ubuntu-24.04
timeout-minutes: 20
if: |
github.event.workflow_run.event == 'pull_request' &&
github.event.workflow_run.conclusion == 'success' &&
github.repository == 'zephyrproject-rtos/zephyr'
steps:
- name: Download artifacts
id: download-artifacts
uses: dawidd6/action-download-artifact@b6e2e70617bc3265edd6dab6c906732b2f1ae151 # v21
with:
workflow: doc-build.yml
run_id: ${{ github.event.workflow_run.id }}
if_no_artifact_found: ignore
- name: Load and validate PR number
if: steps.download-artifacts.outputs.found_artifact == 'true'
id: check-pr
uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
with:
script: |
const fs = require("fs");
const head_sha = context.payload.workflow_run.head_sha;
function skip(reason) {
core.warning(`Documentation not published: ${reason}`);
core.setOutput("publish", "false");
}
const pr_num = Number(fs.readFileSync("./pr_num/pr_num", "utf8").trim());
if (!Number.isSafeInteger(pr_num) || pr_num <= 0) {
skip("the artifact carries a malformed PR number.");
return;
}
let pr;
try {
pr = (await github.rest.pulls.get({
owner: context.repo.owner,
repo: context.repo.repo,
pull_number: pr_num,
})).data;
} catch (err) {
skip(`PR #${pr_num} could not be retrieved (status ${err.status}).`);
return;
}
// The artifact is produced by a workflow running untrusted code, so
// make sure the PR number it carries really belongs to the commit the
// documentation was built from. A mismatch means either a stale build
// (the PR was updated while the documentation was being built, in
// which case a newer build is on its way) or a spoofed PR number.
if (pr.head.sha !== head_sha) {
skip(`documentation was built from ${head_sha}, but PR #${pr_num} ` +
`is now at ${pr.head.sha}.`);
return;
}
core.exportVariable("PR_NUM", pr_num);
core.setOutput("publish", "true");
- name: Uncompress HTML docs
if: steps.check-pr.outputs.publish == 'true'
run: |
tar xf html-output/html-output.tar.xz -C html-output
if [ -f api-coverage/api-coverage.tar.xz ]; then
tar xf api-coverage/api-coverage.tar.xz -C api-coverage
fi
- name: Configure AWS Credentials
if: steps.check-pr.outputs.publish == 'true'
uses: aws-actions/configure-aws-credentials@e6de054238d6b7531b4efff3b6587d9aade6a06c # v6.2.3
with:
aws-access-key-id: ${{ vars.AWS_BUILDS_ZEPHYR_PR_ACCESS_KEY_ID }}
aws-secret-access-key: ${{ secrets.AWS_BUILDS_ZEPHYR_PR_SECRET_ACCESS_KEY }}
aws-region: us-east-1
- name: Upload to AWS S3
if: steps.check-pr.outputs.publish == 'true'
env:
HEAD_BRANCH: ${{ github.event.workflow_run.head_branch }}
run: |
aws s3 sync --quiet html-output/html \
s3://builds.zephyrproject.org/${{ github.event.repository.name }}/pr/${PR_NUM}/docs \
--delete
if [ -d api-coverage/coverage-report ]; then
aws s3 sync --quiet api-coverage/coverage-report/ \
s3://builds.zephyrproject.org/${{ github.event.repository.name }}/pr/${PR_NUM}/api-coverage \
--delete
fi