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

accelerate parametric PR CI #1607

Merged
merged 14 commits into from
Aug 21, 2022
Merged

accelerate parametric PR CI #1607

merged 14 commits into from
Aug 21, 2022

Conversation

dehann
Copy link
Member

@dehann dehann commented Aug 19, 2022

hi Johan you can merge when ready, this is to help you overcome CI test failures faster

@dehann
Copy link
Member Author

dehann commented Aug 19, 2022

This will show numerical tests fail, but then carry on with all the other tests so progress can continue.

Screenshot from 2022-08-19 14-57-13

@dehann dehann added the CI previously Travis label Aug 19, 2022
@codecov
Copy link

codecov bot commented Aug 19, 2022

Codecov Report

Merging #1607 (fec4c62) into 22Q3/perform/parametric (164290e) will increase coverage by 0.03%.
The diff coverage is n/a.

@@                     Coverage Diff                     @@
##           22Q3/perform/parametric    #1607      +/-   ##
===========================================================
+ Coverage                    77.80%   77.83%   +0.03%     
===========================================================
  Files                           73       73              
  Lines                         5392     5392              
===========================================================
+ Hits                          4195     4197       +2     
+ Misses                        1197     1195       -2     
Impacted Files Coverage Δ
src/services/JunctionTreeUtils.jl 86.59% <0.00%> (+0.28%) ⬆️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@Affie Affie merged commit 137e037 into 22Q3/perform/parametric Aug 21, 2022
@Affie
Copy link
Member

Affie commented Aug 21, 2022

thanks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI previously Travis fast-forward
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants