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

UI-related improvements #361

Merged
merged 9 commits into from
Jun 25, 2022
Merged

UI-related improvements #361

merged 9 commits into from
Jun 25, 2022

Conversation

aviatesk
Copy link
Owner

No description provided.

@codecov-commenter
Copy link

codecov-commenter commented Jun 25, 2022

Codecov Report

Merging #361 (2673666) into master (d8e1b20) will increase coverage by 0.75%.
The diff coverage is 99.32%.

@@            Coverage Diff             @@
##           master     #361      +/-   ##
==========================================
+ Coverage   85.76%   86.52%   +0.75%     
==========================================
  Files          11       11              
  Lines        2304     2411     +107     
==========================================
+ Hits         1976     2086     +110     
+ Misses        328      325       -3     
Impacted Files Coverage Δ
src/analyzers/optanalyzer.jl 90.52% <ø> (ø)
src/abstractinterpret/inferenceerrorreport.jl 92.48% <99.25%> (+3.65%) ⬆️
src/JET.jl 71.71% <100.00%> (+0.97%) ⬆️
src/analyzers/jetanalyzer.jl 92.42% <100.00%> (ø)
src/ui/print.jl 90.84% <100.00%> (+0.69%) ⬆️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update d8e1b20...2673666. Read the comment docs.

@aviatesk aviatesk force-pushed the avi/improveui branch 2 times, most recently from c69ebe2 to daa83dc Compare June 25, 2022 04:43
@aviatesk aviatesk merged commit 85a5e43 into master Jun 25, 2022
@aviatesk aviatesk deleted the avi/improveui branch June 25, 2022 05:36
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

2 participants