diff options
| author | Gunnar Morling <gunnar.morling@googlemail.com> | 2024-01-12 10:05:44 +0100 |
|---|---|---|
| committer | Gunnar Morling <gunnar.morling@googlemail.com> | 2024-01-12 10:05:48 +0100 |
| commit | 04fa1e1a4120880c6a609a3e63627f3cce3f8d5d (patch) | |
| tree | c616cd6cd7e993791272a8a293ac0e4478a57940 /.github | |
| parent | 06f9b748297d5929e6cc5f913d10a04cf0501381 (diff) | |
Leaderboard update
Diffstat (limited to '.github')
| -rw-r--r-- | .github/pull_request_template.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index 54e899e..6e4a38a 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -11,7 +11,7 @@ Thanks for your submission. Please go through the checklist above before submitt Use [x] to mark that the item has been completed. Due to the large number of entries created so far, -please submit only entries that are you are expecting to run in 30 seconds or less. +please submit only entries that are you are expecting to run in 10 seconds or less on the evaluation machine. Please make sure that you have followed the defined rules (https://github.com/gunnarmorling/1brc?tab=readme-ov-file#rules-and-limits). --> |