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

fixed type check in merge_writes #348

Merged
merged 1 commit into from
Feb 28, 2023
Merged

Conversation

skeqiqevian
Copy link
Collaborator

Old implementation prevented some use cases (see the newly added test)

@codecov-commenter
Copy link

codecov-commenter commented Feb 28, 2023

Codecov Report

Merging #348 (91330c8) into master (812f237) will increase coverage by 0.00%.
The diff coverage is 100.00%.

📣 This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

@@           Coverage Diff           @@
##           master     #348   +/-   ##
=======================================
  Coverage   86.91%   86.91%           
=======================================
  Files          76       76           
  Lines       17050    17053    +3     
=======================================
+ Hits        14819    14822    +3     
  Misses       2231     2231           
Impacted Files Coverage Δ
src/exo/API_scheduling.py 87.95% <100.00%> (ø)
tests/test_schedules.py 99.18% <100.00%> (+<0.01%) ⬆️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@yamaguchi1024 yamaguchi1024 merged commit bc83338 into master Feb 28, 2023
@yamaguchi1024 yamaguchi1024 deleted the merge_writes_type_fix branch February 28, 2023 15: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.

None yet

3 participants