tree 92f0cc8837753f351dab9084185eb696ebfec10f
parent f20546a1d7b6e2cbe3b293e6bfadbf702d21d3b0
author Adam Barth <github@adambarth.com> 1466724685 -0700
committer GitHub <noreply@github.com> 1466724685 -0700

Simplify coverage workflow (#4725)

We now download the base coverage file automatically.