Debug

Author: lucasmcdonald3

codebuild/py37/decrypt_dafny_esdk_vectors.yml

@@ -56,11 +56,12 @@ phases:
           -H "X-GitHub-Api-Version: 2022-11-28" \
           $(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-latest_test_vector_artifact.zip
       - unzip ubuntu-latest_test_vector_artifact
+      # This unzips to `net41/`
   build:
     commands:
       # NOTE: We need to pass the absolute path of the vectors
       - pip install "tox < 4.0"
-      - cd $CODEBUILD_SRC_DIR/test_vector_handlers
+      - cd /test_vector_handlers
       - |
         tox -- \
-          --input $UNZIPPED_VECTORS_DIR/manifest.json
+          --input ../net41/manifest.json