Run the Github verification with GTK4 enabled if it has GTK4 label#1833

laeubi merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.swt:masterfrom

laeubi:run_with_gtk4_if_it_has_gtk4_labellaeubi/eclipse.platform.swt:run_with_gtk4_if_it_has_gtk4_labelCopy head branch name to clipboard