Repository navigation

release: bot v0.4.0, final results and leaderboard fixes - #112

Merged

anurag629 merged 16 commits into

Oct 30, 2026

Merged

release: bot v0.4.0, final results and leaderboard fixes#112
anurag629 merged 16 commits into
productionfrom
develop

Commits on Oct 23, 2026
Commits on Oct 26, 2026
Commits on Oct 28, 2026
- fix: give leaderboard Card links accessible names (#106)
  srujankaleru2007
  authored
  dba2c2a
Commits on Oct 30, 2026
- fix: post prereleases once they're promoted to a full release (#110)
  prakashNalla
  authored
  c6cbd3e
- chore: version 0.4.0 (#111)
  anurag629
  authored
  beb0162