Skip to content

Expand on data extraction from github action runs for Coveralls#296

Merged
fingolfin merged 2 commits intoJuliaCI:masterfrom mfherbst:ga_coverallsNov 19, 2020