debug

Author: lucasmcdonald3

codebuild/py37/decrypt_dafny_esdk_vectors.yml

@@ -56,9 +56,9 @@ phases:
           -H "X-GitHub-Api-Version: 2022-11-28" \
           $(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-latest_test_vector_artifact.zip
       # This unzips to `net41.zip`
-      - unzip ubuntu-latest_test_vector_artifact
+      - unzip ubuntu-latest_test_vector_artifact.zip
       # This unzips to `net41/`
-      - unzip net41.zip
+      # - unzip net41.zip
       - ls
   build:
     commands: