Skip to content

Abstract out setting NUM_CORES - #73

Merged
mernst merged 1 commit into
randoop:mainfrom
mernst:vars
Nov 5, 2025
Merged

mernst merged 1 commit into
randoop:mainfrom
mernst:vars

Conversation

@mernst

@mernst mernst commented Nov 5, 2025

Copy link
Copy Markdown
Member

No description provided.

@coderabbitai

coderabbitai Bot commented Nov 5, 2025

Copy link
Copy Markdown

Warning

Rate limit exceeded

@mernst has exceeded the limit for the number of commits or files that can be reviewed per hour. Please wait 6 minutes and 33 seconds before requesting another review.

⌛ How to resolve this issue?

After the wait time has elapsed, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

We recommend that you space out your commits to avoid hitting the rate limit.

🚦 How do rate limits work?

CodeRabbit enforces hourly rate limits for each developer per organization.

Our paid plans have higher rate limits than the trial, open-source and free plans. In all cases, we re-allow further reviews after a brief timeout.

Please see our FAQ for further information.

📥 Commits

Reviewing files that changed from the base of the PR and between 8eb5240 and 1ee2c05.

📒 Files selected for processing (4)
  • scripts/experiment-scripts/common.sh (2 hunks)
  • scripts/experiment-scripts/mutation-fig6-table3.sh (3 hunks)
  • scripts/experiment-scripts/mutation-fig7.sh (3 hunks)
  • scripts/experiment-scripts/mutation-fig8-9.sh (3 hunks)
✨ Finishing touches
  • 📝 Generate docstrings
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Post copyable unit tests in a comment

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands and usage tips.

@mernst
mernst merged commit 5eda3f3 into randoop:main Nov 5, 2025
2 checks passed
@mernst
mernst deleted the vars branch November 5, 2025 12:06
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.

1 participant