Add db change to leaderboard and runs for admin control #362

Annotations

10 notices

Ending action

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

Update previous comment

HTTP Request: GET https://api.github.com/repos/gpu-mode/kernelbot/issues/431/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/431 "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