add github url

This commit is contained in:
2026-04-26 08:28:42 -05:00
parent d6f220c5fb
commit 877766ed85
3 changed files with 26 additions and 2 deletions

View File

@@ -47,6 +47,12 @@ jobs:
run: |
set -euo pipefail
echo "Strict is set to ${MKDOCS_STRICT}"
REPO_SLUG="${GITHUB_REPOSITORY#*/}"
MKDOCS_SITE_URL="https://${GITHUB_REPOSITORY_OWNER}.github.io/${REPO_SLUG}/"
MKDOCS_REPO_URL="https://github.com/${GITHUB_REPOSITORY}/tree/${GITHUB_REF_NAME}"
MKDOCS_REPO_NAME="${GITHUB_REPOSITORY}"
export MKDOCS_SITE_URL MKDOCS_REPO_URL MKDOCS_REPO_NAME
FLAGS=()
if [ "${MKDOCS_STRICT}" = "true" ]; then
@@ -54,4 +60,4 @@ jobs:
fi
MKDOCS_OUTPUT_DIR="${RUNNER_TEMP:-${TMPDIR:-/tmp}}/dist"
mkdocs build "${FLAGS[@]}" -f "${MKDOCS_CONFIG}" -d "${MKDOCS_OUTPUT_DIR}"
mkdocs build "${FLAGS[@]}" -f "${MKDOCS_CONFIG}" -d "${MKDOCS_OUTPUT_DIR}"