CERBERUS/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty.git synced 2026-07-02 05:45:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Use GITHUB_TOKEN for slang release API request to avoid rate limits

Browse source
This commit is contained in:
copilot-swe-agent[bot] 2026-06-24 03:56:02 +00:00 • committed by Kovid Goyal
parent 3b15d86b64
commit 8d196d86ba
No known key found for this signature in database
GPG key ID: 06BC317B515ACE7C
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/ci.py vendored
View file

@ -108,9 +108,13 @@ def install_slang_compiler() -> None:
machine = platform.machine().lower()
arch = 'aarch64' if machine in ('aarch64', 'arm64') else 'x86_64'
api_headers: dict[str, str] = {'Accept': 'application/vnd.github+json', 'X-GitHub-Api-Version': '2022-11-28'}
gh_token = os.environ.get('GITHUB_TOKEN')
if gh_token:
api_headers['Authorization'] = f'token {gh_token}'
api_req = Request(
'https://api.github.com/repos/shader-slang/slang/releases/latest',
headers={'Accept': 'application/vnd.github+json', 'X-GitHub-Api-Version': '2022-11-28'},
headers=api_headers,
)
release = json.loads(download_with_retry(api_req))
version = release['tag_name'].lstrip('v')