add index for query leaderboard ranking

[yangw-dev]

Overview

add index for fast leaderboard query for active ranking.
This should works well with query https://github.com/gpu-mode/kernelboard/blob/main/kernelboard/api/leaderboard_summaries.py#L63

partial idx for runs

Notice we have partial idx for runs, it still works for additional condition
Adding MORE conditions → Partial index still works

-- Original partial index
WHERE NOT secret AND score IS NOT NULL AND passed

--  new query adds 'AND active' for instance
WHERE NOT secret AND score IS NOT NULL AND passed AND active

But it won't works for less partial index

-- Original partial index
WHERE NOT secret AND score IS NOT NULL AND passed

-- Your new query removes 'AND passed'
WHERE NOT secret AND score IS NOT NULL

for rankings, we always query as WHERE NOT secret AND score IS NOT NULL AND passed. Make this specific can make things faster that non-partial one

[msaroufim]

alright let's try this out - you'll still need to update things using the northflank url - feel free to message on kernelbot channel for credentials if you can't find them in the UI but you want the prod public URL and admin username and password

Unit test in CI is failing with some DB error though

[yangw-dev]

seems like it does not like concurrently
in that case, we can create without concurrently, but to not block submission, i will run this tonight @msaroufim

[github-actions]

Coverage report

Click to see where and how coverage changed

File	Statements	Missing	Coverage	Coverage (new stmts)	Lines missing
src/libkernelbot
utils.py
Project Total

This report was generated by python-coverage-comment-action