Add fedora40 platform (#1966)
Fixes #1960.
diff --git a/buildkite/bazelci.py b/buildkite/bazelci.py
index 307035c..bb945df 100755
--- a/buildkite/bazelci.py
+++ b/buildkite/bazelci.py
@@ -506,6 +506,13 @@
"docker-image": f"gcr.io/{DOCKER_REGISTRY_PREFIX}/fedora39-java17",
"python": "python3",
},
+ "fedora40": {
+ "name": "Fedora 40 (OpenJDK 21, gcc 14.1.1)",
+ "emoji-name": ":fedora: Fedora 40 (OpenJDK 21, gcc 14.1.1)",
+ "publish_binary": [],
+ "docker-image": f"gcr.io/{DOCKER_REGISTRY_PREFIX}/fedora40-java21",
+ "python": "python3",
+ },
"macos": {
"name": "macOS",
"emoji-name": ":darwin: macOS",