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

GNNE-1714:adjust for processor counter #1150

Merged
merged 1 commit into from
Dec 25, 2023
Merged

Conversation

uranus0515
Copy link
Contributor

1, Adjust the number of processors used for egraph search to half of the total number of processors.

Copy link

github-actions bot commented Dec 25, 2023

Test Results

5 859 tests  ±0   5 859 ✅ ±0   8m 15s ⏱️ -23s
    6 suites ±0       0 💤 ±0 
    6 files   ±0       0 ❌ ±0 

Results for commit 435f2a6. ± Comparison against base commit c232f96.

♻️ This comment has been updated with latest results.

Copy link

codecov bot commented Dec 25, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (c232f96) 72.88% compared to head (435f2a6) 72.89%.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #1150   +/-   ##
=======================================
  Coverage   72.88%   72.89%           
=======================================
  Files         706      706           
  Lines       25922    25923    +1     
  Branches     4227     4227           
=======================================
+ Hits        18894    18896    +2     
  Misses       6384     6384           
+ Partials      644      643    -1     
Flag Coverage Δ
integration 38.97% <100.00%> (+<0.01%) ⬆️
unit 64.77% <100.00%> (+<0.01%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@uranus0515 uranus0515 merged commit a0e3ff5 into master Dec 25, 2023
44 checks passed
@uranus0515 uranus0515 deleted the fix/ProcessorCount branch December 25, 2023 03:52
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.

None yet

2 participants