Add optional leaderboard_name filter to admin show-stats · gpu-mode/kernelbot@b6d7934

Triggered via pull request February 11, 2026 07:44

msaroufim

synchronize #445

Status Success

Total duration 2m 6s

Artifacts 1

testing.yml

on: pull_request

10 notices

Ending action

HTTP Request: PATCH https://api.github.com/repos/gpu-mode/kernelbot/issues/comments/3882825639 "HTTP/1.1 200 OK"

Update previous comment

HTTP Request: GET https://api.github.com/repos/gpu-mode/kernelbot/issues/445/comments "HTTP/1.1 200 OK"

HTTP Request: GET https://api.github.com/user "HTTP/1.1 403 Forbidden"

HTTP Request: GET https://api.github.com/repos/gpu-mode/kernelbot/contents/data.json?ref=python-coverage-comment-action-data "HTTP/1.1 200 OK"

HTTP Request: GET https://api.github.com/repos/gpu-mode/kernelbot/pulls/445 "HTTP/1.1 200 OK"

Generating comment for PR

HTTP Request: GET https://api.github.com/repos/gpu-mode/kernelbot "HTTP/1.1 200 OK"

Starting action

Produced during runtime

Name	Size	Digest
coverage	123 KB	`sha256:f410bf0c6d7e2357303bd6de5da4cbfb057fdb2c3ddb77b9e7caad49101af1d6`