Closed JordiManyer closed 1 year ago
Merging #112 (14c60e5) into master (424b76c) will not change coverage. The diff coverage is
n/a
.:exclamation: Current head 14c60e5 differs from pull request most recent head 8568718. Consider uploading reports for the commit 8568718 to get more accurate results
:exclamation: 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.
@@ Coverage Diff @@
## master #112 +/- ##
======================================
Coverage 0.00% 0.00%
======================================
Files 11 11
Lines 1694 1694
======================================
Misses 1694 1694
:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more
Closing PR ... this issue will actually be fixed in PR https://github.com/gridap/GridapDistributed.jl/pull/115
Fixes #111 .