Skip to content

Remove std::chrono namespace using directive#453

Merged
aobolensk merged 2 commits intomasterfrom
codex/remove-using-namespace-chrono-and-qualify-types
Jun 20, 2025
Merged

Remove std::chrono namespace using directive#453
aobolensk merged 2 commits intomasterfrom
codex/remove-using-namespace-chrono-and-qualify-types

Conversation

@aobolensk
Copy link
Copy Markdown
Member

@aobolensk aobolensk commented Jun 20, 2025

  • remove using namespace std::chrono from task header
  • explicitly qualify chrono functions

@aobolensk aobolensk changed the title Remove chrono namespace using directive Remove std::chrono namespace using directive Jun 20, 2025
@github-actions github-actions Bot added the core label Jun 20, 2025
@aobolensk aobolensk enabled auto-merge June 20, 2025 07:33
@codecov
Copy link
Copy Markdown

codecov Bot commented Jun 20, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 92.37%. Comparing base (81c3284) to head (3d43cf9).
Report is 6 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #453   +/-   ##
=======================================
  Coverage   92.37%   92.37%           
=======================================
  Files          11       11           
  Lines         354      354           
  Branches      124      124           
=======================================
  Hits          327      327           
  Misses         10       10           
  Partials       17       17           

☔ 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.

@aobolensk aobolensk added this pull request to the merge queue Jun 20, 2025
Merged via the queue into master with commit 190aec2 Jun 20, 2025
76 checks passed
@aobolensk aobolensk deleted the codex/remove-using-namespace-chrono-and-qualify-types branch June 22, 2025 15:41
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.

1 participant