v0.5.0

v0.5.0 (2026-10-09)

This release is published under the AGPL-3.0-or-later License.

Bug Fixes

• display: Never raise on an unreadable date (dc3c28a)

• leaderboard: Add a favicon to the site pages (b4cc954)

• leaderboard: Refuse submissions with an invalid export date (aa4b946)

• leaderboard: Show the normalized GPU name and DD/MM/YYYY dates (6e9a7a8)

Continuous Integration

• Add a stdlib discord notification script (cdcb5b3)

• Add a weekly project report on discord (42f98ce)

• Add a weekly watch of bench tool and python versions (0a3e28d)

• Announce releases and pypi publication on discord (f66b1f9)

• Announce site deployments and new leaderboard machines (aabcb45)

• Notify discord of ci, leaderboard and dependabot results (9fd735b)

• Pin actions/checkout by commit sha in notification jobs (13514d4)

Documentation

• Describe the discord notifications in the readme (cc4be77)

• Record the discord notification rules in CLAUDE.md (6853f1f)

• Verify provenance on the latest release instead of v0.3.0 (aa60f13)

Features

• leaderboard: Add a summary command with combined ranks (e70f642)

• leaderboard: Annotate refused submissions under github actions (4c43af1)

Refactoring

• Add gpu_name, the GPU name in its original case (fc23f66)

• display: Share the DD/MM/YYYY date formatter in fmt (e172d3a)

---

Detailed Changes: v0.4.0...v0.5.0