diff --git a/.github/workflows/infrastructure_version.txt b/.github/workflows/infrastructure_version.txt
index 14239ef15..6ad4f1e46 100644
--- a/.github/workflows/infrastructure_version.txt
+++ b/.github/workflows/infrastructure_version.txt
@@ -1 +1 @@
-2.13.6
+2.13.9