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

Fix return mismatch error #847

Merged
merged 3 commits into from
Jun 25, 2023
Merged

Fix return mismatch error #847

merged 3 commits into from
Jun 25, 2023

Conversation

wsmoses
Copy link
Member

@wsmoses wsmoses commented May 14, 2023

No description provided.

@wsmoses wsmoses requested a review from vchuravy May 14, 2023 23:02
@codecov-commenter
Copy link

codecov-commenter commented May 14, 2023

Codecov Report

Patch coverage: 71.42% and project coverage change: +0.01 🎉

Comparison is base (264ac53) 77.47% compared to head (eb5e2d6) 77.48%.

❗ Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #847      +/-   ##
==========================================
+ Coverage   77.47%   77.48%   +0.01%     
==========================================
  Files          18       18              
  Lines        8408     8413       +5     
==========================================
+ Hits         6514     6519       +5     
  Misses       1894     1894              
Impacted Files Coverage Δ
src/compiler.jl 78.69% <71.42%> (+0.01%) ⬆️

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

@wsmoses wsmoses merged commit f9edf0a into main Jun 25, 2023
30 of 35 checks passed
@wsmoses wsmoses deleted the reterr branch June 25, 2023 21:20
michel2323 pushed a commit that referenced this pull request Nov 7, 2023
* Fix return mismatch error

* add test

* Fix spelling
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.

None yet

3 participants