Skip to content

Commit 3eafdf3

Browse files
author
Lucas McDonald
committed
m
1 parent dfc29ad commit 3eafdf3

7 files changed

+14
-14
lines changed

‎codebuild/py310/decrypt_dafny_esdk_vectors.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -44,9 +44,9 @@ phases:
4444
curl -L -H "Accept: application/vnd.github+json" \
4545
-H "Authorization: token $GITHUB_TOKEN" \
4646
-H "X-GitHub-Api-Version: 2022-11-28" \
47-
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-latest_test_vector_artifact.zip
47+
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-22.04_latest_vector_artifact.zip
4848
# This unzips to `net41.zip`.
49-
- unzip ubuntu-latest_test_vector_artifact
49+
- unzip ubuntu-22.04_latest_vector_artifact
5050
# This unzips to `net41/`.
5151
- unzip net41.zip -d net41
5252
build:

‎codebuild/py311/decrypt_dafny_esdk_vectors_keyrings.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -46,9 +46,9 @@ phases:
4646
curl -L -H "Accept: application/vnd.github+json" \
4747
-H "Authorization: token $GITHUB_TOKEN" \
4848
-H "X-GitHub-Api-Version: 2022-11-28" \
49-
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-latest_test_vector_artifact.zip
49+
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-22.04_latest_vector_artifact.zip
5050
# This unzips to `net41.zip`.
51-
- unzip ubuntu-latest_test_vector_artifact
51+
- unzip ubuntu-22.04_latest_vector_artifact
5252
# This unzips to `net41/`.
5353
- unzip net41.zip -d net41
5454
build:

‎codebuild/py311/decrypt_dafny_esdk_vectors_masterkey.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -44,9 +44,9 @@ phases:
4444
curl -L -H "Accept: application/vnd.github+json" \
4545
-H "Authorization: token $GITHUB_TOKEN" \
4646
-H "X-GitHub-Api-Version: 2022-11-28" \
47-
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-latest_test_vector_artifact.zip
47+
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-22.04_latest_vector_artifact.zip
4848
# This unzips to `net41.zip`.
49-
- unzip ubuntu-latest_test_vector_artifact
49+
- unzip ubuntu-22.04_latest_vector_artifact
5050
# This unzips to `net41/`.
5151
- unzip net41.zip -d net41
5252
build:

‎codebuild/py312/decrypt_dafny_esdk_vectors_keyrings.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -46,9 +46,9 @@ phases:
4646
curl -L -H "Accept: application/vnd.github+json" \
4747
-H "Authorization: token $GITHUB_TOKEN" \
4848
-H "X-GitHub-Api-Version: 2022-11-28" \
49-
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-latest_test_vector_artifact.zip
49+
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-22.04_latest_vector_artifact.zip
5050
# This unzips to `net41.zip`.
51-
- unzip ubuntu-latest_test_vector_artifact
51+
- unzip ubuntu-22.04_latest_vector_artifact
5252
# This unzips to `net41/`.
5353
- unzip net41.zip -d net41
5454
build:

‎codebuild/py312/decrypt_dafny_esdk_vectors_masterkey.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -44,9 +44,9 @@ phases:
4444
curl -L -H "Accept: application/vnd.github+json" \
4545
-H "Authorization: token $GITHUB_TOKEN" \
4646
-H "X-GitHub-Api-Version: 2022-11-28" \
47-
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-latest_test_vector_artifact.zip
47+
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-22.04_latest_vector_artifact.zip
4848
# This unzips to `net41.zip`.
49-
- unzip ubuntu-latest_test_vector_artifact
49+
- unzip ubuntu-22.04_latest_vector_artifact
5050
# This unzips to `net41/`.
5151
- unzip net41.zip -d net41
5252
build:

‎codebuild/py38/decrypt_dafny_esdk_vectors.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -44,9 +44,9 @@ phases:
4444
curl -L -H "Accept: application/vnd.github+json" \
4545
-H "Authorization: token $GITHUB_TOKEN" \
4646
-H "X-GitHub-Api-Version: 2022-11-28" \
47-
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-latest_test_vector_artifact.zip
47+
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-22.04_latest_vector_artifact.zip
4848
# This unzips to `net41.zip`.
49-
- unzip ubuntu-latest_test_vector_artifact
49+
- unzip ubuntu-22.04_latest_vector_artifact
5050
# This unzips to `net41/`.
5151
- unzip net41.zip -d net41
5252
build:

‎codebuild/py39/decrypt_dafny_esdk_vectors.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -44,9 +44,9 @@ phases:
4444
curl -L -H "Accept: application/vnd.github+json" \
4545
-H "Authorization: token $GITHUB_TOKEN" \
4646
-H "X-GitHub-Api-Version: 2022-11-28" \
47-
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-latest_test_vector_artifact.zip
47+
$(echo $MOST_RECENT_RUN_DOWNLOAD_URL | tr -d '"') -o ubuntu-22.04_latest_vector_artifact.zip
4848
# This unzips to `net41.zip`.
49-
- unzip ubuntu-latest_test_vector_artifact
49+
- unzip ubuntu-22.04_latest_vector_artifact
5050
# This unzips to `net41/`.
5151
- unzip net41.zip -d net41
5252
build:

0 commit comments

Comments
 (0)