Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
[FIX] workflow help msg #1677
The goal of this PR is to fix #1674. Now, you get:
I use the opportunity to:
@@ Coverage Diff @@ ## master #1677 +/- ## ========================================= Coverage ? 90.58% ========================================= Files ? 232 Lines ? 28162 Branches ? 2981 ========================================= Hits ? 25511 Misses ? 2039 Partials ? 612
Finally no, I wanted to fix another issue on the same PR. Finally, I should just create a new PR.
here is the crucial change. we were using an old version of
The other changes are just code cleaning.