mirror of https://github.com/koreader/koreader
make coverage in after_success stage
So that if the coverage job is timeout it won't fail the CI result.pull/1314/head
parent
ddae003925
commit
6a0554f226
Loading…
Reference in New Issue