You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'll create a follow up PR with some other test implementations so that this doesn't get too huge 😄
I can merge this but results on leaderboard will only show when you do a run with --save
Feel free to create as many PRs and benchmarks as needed until results are good enough to be published
⚠️/benchmark --save cannot start: main has diverged and cannot be auto-merged into this branch. Please merge or rebase main manually, push, and re-run /benchmark --save.
Ah, Ill merge this but Ill have to rerun the benchmark later to update website results because this is a PR from an org and the bot gets a 403 trying to post results here to be merged. That is fine, we had some similar cases.
Hello all.
The Warning: could not push to fork (permissions) in the benchmark workflow is caused by GitHub's known limitation with org-owned forks — maintainer_can_modify is set to true in the API but GITHUB_TOKEN still can't push to org forks (only user forks).
A simple solution is to submit the PR from a private fork.
So not sure if that will help, Ill need to find a workaround for this, maybe posting results in a new branch. For now Ill just rerun directly on server, it is only needed to update the website
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.