Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update scripts #116

Merged
merged 3 commits into from
Mar 20, 2015
Merged

Update scripts #116

merged 3 commits into from
Mar 20, 2015

Conversation

ujh
Copy link
Owner

@ujh ujh commented Mar 20, 2015

  • Changes the helper scripts to use 8 threads when playing
  • Remove the script to play against AmiGo as we're stronger already
  • Reduces what's played in the benchmark as we can't parallelise this stuff anymore

@coveralls
Copy link

Coverage Status

Coverage remained the same at 94.88% when pulling 3d4e894 on update-scripts into 7a1c796 on master.

ujh added a commit that referenced this pull request Mar 20, 2015
@ujh ujh merged commit 53917c6 into master Mar 20, 2015
@ujh ujh deleted the update-scripts branch March 20, 2015 10:00
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.

2 participants