<%= if file_details == [] do %> (No coverage needed) <% end %> <%= for %{ filename: filename, lines: lines, stats: {stats_text, _percentage} } <- file_details do %>

<%= filename <> " " <> stats_text %>

<%= for {line_number, text, cov} <- lines do %> class="uncovered" <% end %> > <% end %>
<%= line_number = if is_integer(line_number), do: Integer.to_string(line_number), else: line_number String.pad_leading(line_number, 6) %> <%= if text == "", do: "
", else: text %>
<% end %>