feat: add key-based filter in OpenLake leaderboard#192

Merged

sumagnadas merged 3 commits intoOpenLake:mainfrom

VarshiniGunti:feat/openlake-pr-key-filter

Mar 10, 2026

Commits on Feb 25, 2026

feat: add PR-key filter for OpenLake leaderboard contributions (#141)
VarshiniGunti
committed
fix: address CodeRabbit feedback for OpenLake key filter
VarshiniGunti
committed

Commits on Mar 10, 2026

Merge branch 'main' into feat/openlake-pr-key-filter
sumagnadas
authored