Closed pinotree closed 1 year ago
Merging #268 (5612ec8) into master (b60403c) will not change coverage. The diff coverage is
n/a
.
: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 #268 +/- ##
=======================================
Coverage 90.53% 90.53%
=======================================
Files 119 119
Lines 12144 12144
=======================================
Hits 10994 10994
Misses 1150 1150
Great!
It seems it is actually not used, as guile is currently searched with
since commit 026f2fe4bf7c4a2b62b670d76f6488929e1cded6 -- hence, drop this module.