Skip to content

Commit

Permalink
Fix doc build on main
Browse files Browse the repository at this point in the history
Signed-off-by: Chaitanya Tata <[email protected]>
  • Loading branch information
krish2718 committed Dec 9, 2024
1 parent 94a1004 commit 76ee003
Showing 1 changed file with 12 additions and 12 deletions.
24 changes: 12 additions & 12 deletions .github/workflows/docbuild.yml
Original file line number Diff line number Diff line change
Expand Up @@ -64,20 +64,20 @@ jobs:
MONITOR="monitor_${{ github.run_id }}.txt"
# Create documentation upload files
if [[ "${{ github.event_name }}" == "pull_request" ]]; then
ARCHIVE="nrf70-bm-docs-${{ github.event.number }}.zip"
echo "publish2 dev PR-${{ github.event.number }} ${ARCHIVE}" > "${MONITOR}"
echo "${{ github.event.number }}" > pr.txt
else
if [ -z "${VERSION}" ]; then
echo "Not a release or latest, skipping publish"
exit 0
if [[ "${{ github.event_name }}" == "pull_request" ]]; then
ARCHIVE="nrf70-bm-docs-${{ github.event.number }}.zip"
echo "publish2 dev PR-${{ github.event.number }} ${ARCHIVE}" > "${MONITOR}"
echo "${{ github.event.number }}" > pr.txt
else
if [[ "${{ github.ref }}" == "refs/heads/main" ]]; then
ARCHIVE="nrf70-bm-docs-main-$${{ github.sha }}.zip"
echo "publish2 main ${ARCHIVE}" > "${MONITOR}"
else
echo "Neither PR nor main branch, exiting"
exit 0
fi
fi
ARCHIVE="nrf70-bm-docs-${VERSION}.zip"
echo "publish2 main ${VERSION} ${ARCHIVE}" > "${MONITOR}"
fi
cd docs/build/html
zip -rq "${ARCHIVE}" .
mv "${ARCHIVE}" ../../../
Expand Down

0 comments on commit 76ee003

Please sign in to comment.