diff --git a/.github/workflows/infrastructure_version.txt b/.github/workflows/infrastructure_version.txt index 8d738d4c8..3053a1ca5 100644 --- a/.github/workflows/infrastructure_version.txt +++ b/.github/workflows/infrastructure_version.txt @@ -1 +1 @@ -2.13.16 +2.13.17