Update paths in .github/boring-cyborg.yml#9799

Merged

mik-laj merged 2 commits intoapache:masterfrom PolideaInternal:path-cyborg

Jul 14, 2020

+36-7

Commits on Jul 13, 2020

Update paths in .github/boring-cyborg.yml
Kamil Breguła
committed
fixup! Update paths in .github/boring-cyborg.yml
Kamil Breguła
committed