Skip to content

[skip changelog] Upload coverage only on push events#375

Merged
masci merged 1 commit intomasterfrom
massi/pushonly
Aug 29, 2019
Merged

[skip changelog] Upload coverage only on push events#375
masci merged 1 commit intomasterfrom
massi/pushonly

Commits

Commits on Aug 29, 2019