In case the resolution settings in the config file have wrong values,

the main window is not appearing, forcing here minimum decent values.
5 jobs from 85-port-maps-to-a-text-based-format-for-easier-editing in 4 minutes and 41 seconds
Status Job ID Name Coverage
  Build
passed #50892662
shared
build_clang

00:04:07

passed #50892661
shared
build_gcc

00:03:31

passed #50892663
shared
build_mingw32

00:04:14

passed #50892664
shared
build_mingw64

00:04:39

passed #50892660
shared
build_oldgcc

00:03:30