Skip to content

Add GetNumProc util helper #533

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

Merged

Conversation

aobolensk
Copy link
Member

@aobolensk aobolensk commented Jul 19, 2025

  • add GetNumProc helper to util library
  • test GetNumProc
  • document new helper in env variables guide

@allnes allnes enabled auto-merge July 19, 2025 16:50
Copy link
Contributor

Coverage report is available for download
here

Copy link

codecov bot commented Jul 19, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 94.78%. Comparing base (16d6e7a) to head (1dd00ca).
Report is 4 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #533      +/-   ##
==========================================
+ Coverage   94.72%   94.78%   +0.05%     
==========================================
  Files          11       11              
  Lines         360      364       +4     
  Branches      122      124       +2     
==========================================
+ Hits          341      345       +4     
  Misses          5        5              
  Partials       14       14              

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

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@allnes allnes added this pull request to the merge queue Jul 19, 2025
auto-merge was automatically disabled July 19, 2025 17:41

Pull Request is not mergeable

Merged via the queue into master with commit af7a027 Jul 19, 2025
87 checks passed
@aobolensk aobolensk deleted the codex/implement-valuable-changes-excluding-scoreboard branch July 23, 2025 21:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants