Skip to content

Conversation

@Lipen
Copy link
Member

@Lipen Lipen commented Jul 9, 2025

This PR changes arg in EtsAwaitExpr to be EtsLocal instead of an arbitrary value.

@Lipen Lipen requested a review from CaelmBleidd July 9, 2025 10:36
@codecov
Copy link

codecov bot commented Jul 9, 2025

Codecov Report

Attention: Patch coverage is 0% with 2 lines in your changes missing coverage. Please review.

Project coverage is 70.19%. Comparing base (6268593) to head (65b8538).
Report is 1 commits behind head on neo.

Files with missing lines Patch % Lines
...-ets/src/main/kotlin/org/jacodb/ets/dto/Convert.kt 0.00% 1 Missing ⚠️
...b-ets/src/main/kotlin/org/jacodb/ets/model/Expr.kt 0.00% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff            @@
##                neo     #329   +/-   ##
=========================================
  Coverage     70.19%   70.19%           
  Complexity     2493     2493           
=========================================
  Files           275      275           
  Lines         15462    15462           
  Branches       2307     2307           
=========================================
  Hits          10854    10854           
  Misses         3689     3689           
  Partials        919      919           

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

@Lipen Lipen mentioned this pull request Jul 9, 2025
1 task
@github-actions
Copy link
Contributor

github-actions bot commented Jul 9, 2025

Test Results

  215 files  ±0    215 suites  ±0   16m 20s ⏱️ -13s
  711 tests ±0    706 ✅ ±0   5 💤 ±0  0 ❌ ±0 
1 977 runs  ±0  1 948 ✅ ±0  29 💤 ±0  0 ❌ ±0 

Results for commit 65b8538. ± Comparison against base commit 6268593.

@Lipen Lipen merged commit da338ff into neo Jul 9, 2025
10 of 11 checks passed
@Lipen Lipen deleted the lipen/await-local branch July 9, 2025 12:55
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.

3 participants