diff --git a/.github/workflows/infrastructure_version.txt b/.github/workflows/infrastructure_version.txt
index 72c808ecb..a1a4224dd 100644
--- a/.github/workflows/infrastructure_version.txt
+++ b/.github/workflows/infrastructure_version.txt
@@ -1 +1 @@
-2.12.42
+2.13.3