Add mini Jenkins build (1 platform only)
1 file changed