Frederik Vincx

Reduce PR workflow waste