Skip to content

CI: Drop unused sudo: false directive#102

Merged
fgrehm merged 1 commit intofgrehm:masterfrom olleolleolle:patch-1Feb 18, 2020
-1

Commits

Commits on Jan 30, 2020