This commit is contained in:
Rustem Khusnutdinov
2024-11-28 23:25:30 +03:00
committed by GitHub
parent cd05fb00d8
commit e2dbab855f
2 changed files with 7 additions and 2 deletions

View File

@@ -23,6 +23,10 @@ inputs:
A GitHub token to write comments and write the badge to the wiki
(``github.token``)
required: true
GITHUB_WIKI:
description: >
Wiki repository clone url
required: true
COVERAGE_FILE:
description: >
Path and filename of the coverage XML file to analyze.
@@ -64,6 +68,7 @@ runs:
image: Dockerfile
env:
GITHUB_TOKEN: ${{ inputs.GITHUB_TOKEN }}
GITHUB_WIKI: ${{ inputs.GITHUB_WIKI }}
COVERAGE_FILE: ${{ inputs.COVERAGE_FILE }}
COMMENT_TEMPLATE: ${{ inputs.COMMENT_TEMPLATE }}
DIFF_COVER_ARGS: ${{ inputs.DIFF_COVER_ARGS }}

View File

@@ -2,7 +2,7 @@
# Usage $0 {owner/repo} {filename} {commit_message}
# Stores the content of stdin in a file named {filename} in the wiki of
# the provided repo
# Reads envvar GITHUB_TOKEN
# Reads envvar GITHUB_WIKI
set -eux
@@ -13,7 +13,7 @@ commit_message="${3}"
dir="$(mktemp -d)"
cd $dir
git clone "https://x-access-token:${GITHUB_TOKEN}@github.com/${repo_name}.wiki.git" .
git clone "${GITHUB_WIKI}" .
echo $stdin > "${filename}"
git add "${filename}"