use GITHUB_API_URL instead

This commit is contained in:
chitran96
2023-06-15 19:32:54 +07:00
parent a92044f974
commit baa0b3c0d2
2 changed files with 2 additions and 7 deletions

View File

@@ -6,11 +6,6 @@ description: >
Publish diff coverage report as PR comment, and create a coverage badge
to display on the readme.
inputs:
GITHUB_URL:
description: >
A Github base url, api.github.com by default but can be different in GitHub Enterprise
default: "https://api.github.com"
required: false
GITHUB_TOKEN:
description: >
A GitHub token to write comments and write the badge to the wiki

View File

@@ -56,7 +56,7 @@ class Config:
GITHUB_BASE_REF: str
GITHUB_TOKEN: str
GITHUB_BASE_URL: str
GITHUB_API_URL: str
GITHUB_REPOSITORY: str
GITHUB_REF: str
BADGE_FILENAME: str = "coverage-comment-badge.json"
@@ -118,7 +118,7 @@ class Config:
def get_api(config: Config) -> github.Github:
return github.Github(config.GITHUB_TOKEN, config.GITHUB_BASE_URL)
return github.Github(config.GITHUB_TOKEN, config.GITHUB_API_URL)
def get_coverage_info(config: Config) -> dict: