Skip to content

Leaderboard was not shown properly in docs#365

Merged
JudithBernett merged 3 commits intodevelopmentfrom
docs_fix
Feb 9, 2026
Merged

Leaderboard was not shown properly in docs#365
JudithBernett merged 3 commits intodevelopmentfrom
docs_fix

Conversation

@JudithBernett
Copy link
Contributor

@JudithBernett JudithBernett commented Feb 9, 2026

leaderboard + new versions

PR Checklist for all PRs

  • This comment contains a description of changes (with reason)
  • Documentation in docs is updated. If you've created a new file, add it to the API documentation pages.

Changes

Bug fixes

  • Leaderboard was not properly shown in docs -> now shown

New features

Maintenance

  • new versions

Version release checklist

  • Run ‚poetry update‘ to get the latest package versions. This will update the poetry.lock file
  • Run ‚poetry export --without-hashes --without development -f requirements.txt -o requirements.txt‘ to update the requirements.txt file
  • (If poetry itself was updated, update that in the Dockerfile)

Copy link
Collaborator

@PascalIversen PascalIversen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm thanks!!

@JudithBernett JudithBernett merged commit 773d701 into development Feb 9, 2026
30 checks passed
@JudithBernett JudithBernett deleted the docs_fix branch February 9, 2026 14:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants