download py23 test vectors for generate_vectors

.github/workflows/library_interop_tests.yml

@@ -194,6 +194,16 @@ jobs:
       # #     Set-Location -Path "$env:GITHUB_WORKSPACE\net41\vectors"
       # #     Compress-Archive -Path "$env:GITHUB_WORKSPACE\net41\vectors\*" -DestinationPath "$env:GITHUB_WORKSPACE\net41\vectors\net41.zip"        
 
+      - name: Fetch Python 2.3.0 Test Vectors
+        working-directory: ./
+        shell: bash
+        run: |
+          PYTHON_23_VECTOR_PATH=$GITHUB_WORKSPACE/python23/vectors
+          mkdir -p $PYTHON_23_VECTOR_PATH
+          DOWNLOAD_NAME=python23.zip
+          curl --no-progress-meter --output $DOWNLOAD_NAME --location $VECTORS_URL
+          unzip -o -qq $DOWNLOAD_NAME  -d $PYTHON_23_VECTOR_PATH
+          rm  $DOWNLOAD_NAME
       
       - name: Generate Test Vectors with .NET Framework net6.0
         # TODO Post-#619: Fix Zip file creation on Windows
@@ -204,7 +214,7 @@ jobs:
           NET_41_VECTOR_PATH=net41/vectors
           mkdir -p $NET_41_VECTOR_PATH
           GEN_PATH=runtimes/net/TestVectorsNative/TestVectorGenerator
-          PYTHON_23_VECTOR_PATH=$GITHUB_WORKSPACE/runtimes/net/TestVectorsNative/TestVectors/python23/vectors
+          PYTHON_23_VECTOR_PATH=$GITHUB_WORKSPACE/python23/vectors
           DAFNY_AWS_ESDK_TEST_VECTOR_MANIFEST_PATH="$PYTHON_23_VECTOR_PATH/manifest.json" \
           dotnet run --project $GEN_PATH --framework net6.0 -- \
             --encrypt-manifest $GEN_PATH/resources/0006-awses-message-decryption-generation.v2.json \