Skip to content

Conversation

@bluewin4
Copy link
Contributor

@bluewin4 bluewin4 commented Nov 20, 2025

Make sure the seed is passed into the leaderboard properly

Asana Task

Copy link
Contributor

@nishu-builder nishu-builder left a comment

Choose a reason for hiding this comment

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

Is there not a more elegant way to specify seed? (Do we not have some global seed that e.g. map_builder.seed attends to by default, or could attend to)?

@bluewin4 bluewin4 assigned nishu-builder and unassigned bluewin4 Nov 20, 2025
@bluewin4 bluewin4 enabled auto-merge November 20, 2025 22:11
@bluewin4 bluewin4 added this pull request to the merge queue Nov 20, 2025
Merged via the queue into main with commit 2e31571 Nov 20, 2025
10 checks passed
@bluewin4 bluewin4 deleted the seed-leaderboard-jack branch November 20, 2025 22:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants