John Paul Adrian Glaubitz mentions "x32" is actually the designation for "x86_64 with 32-bit pointers". Let's rename "Linux x32" to "Linux x86". I also realized that JDK-8254282 missed "Linux x32" for the platform selection. While you can guess it is accepted from reading the workflow, it would be more convenient to have it in the default argument list.