Skip to content

Commit 9444c10

Browse files
author
Lucas McDonald
committed
m
1 parent f4e4d48 commit 9444c10

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
@@ -28,15 +28,15 @@ phases:
2828
MOST_RECENT_RUN_ID=$(curl -H "Accept: application/vnd.github+json" \
2929
-H "Authorization: token ${GITHUB_TOKEN}" \
3030
-H "X-GitHub-Api-Version: 2022-11-28" \
31-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
31+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
3232
| jq 'first(.workflow_runs[] | select(.name=="Daily CI") | .id)')
3333
- |
3434
echo "DEBUG: Fetching artifact from run $MOST_RECENT_RUN_ID"
3535
- |
3636
MOST_RECENT_RUN_DOWNLOAD_URL=$(curl -H "Accept: application/vnd.github+json" \
3737
-H "Authorization: token $GITHUB_TOKEN" \
3838
-H "X-GitHub-Api-Version: 2022-11-28" \
39-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
39+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
4040
| jq '.artifacts[0].archive_download_url')
4141
- |
4242
echo "DEBUG: Fetching artifact at $MOST_RECENT_RUN_DOWNLOAD_URL"

‎codebuild/py311/decrypt_dafny_esdk_vectors_keyrings.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,15 +30,15 @@ phases:
3030
MOST_RECENT_RUN_ID=$(curl -H "Accept: application/vnd.github+json" \
3131
-H "Authorization: token ${GITHUB_TOKEN}" \
3232
-H "X-GitHub-Api-Version: 2022-11-28" \
33-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
33+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
3434
| jq 'first(.workflow_runs[] | select(.name=="Daily CI") | .id)')
3535
- |
3636
echo "DEBUG: Fetching artifact from run $MOST_RECENT_RUN_ID"
3737
- |
3838
MOST_RECENT_RUN_DOWNLOAD_URL=$(curl -H "Accept: application/vnd.github+json" \
3939
-H "Authorization: token $GITHUB_TOKEN" \
4040
-H "X-GitHub-Api-Version: 2022-11-28" \
41-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
41+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
4242
| jq '.artifacts[0].archive_download_url')
4343
- |
4444
echo "DEBUG: Fetching artifact at $MOST_RECENT_RUN_DOWNLOAD_URL"

‎codebuild/py311/decrypt_dafny_esdk_vectors_masterkey.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -28,15 +28,15 @@ phases:
2828
MOST_RECENT_RUN_ID=$(curl -H "Accept: application/vnd.github+json" \
2929
-H "Authorization: token ${GITHUB_TOKEN}" \
3030
-H "X-GitHub-Api-Version: 2022-11-28" \
31-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
31+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
3232
| jq 'first(.workflow_runs[] | select(.name=="Daily CI") | .id)')
3333
- |
3434
echo "DEBUG: Fetching artifact from run $MOST_RECENT_RUN_ID"
3535
- |
3636
MOST_RECENT_RUN_DOWNLOAD_URL=$(curl -H "Accept: application/vnd.github+json" \
3737
-H "Authorization: token $GITHUB_TOKEN" \
3838
-H "X-GitHub-Api-Version: 2022-11-28" \
39-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
39+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
4040
| jq '.artifacts[0].archive_download_url')
4141
- |
4242
echo "DEBUG: Fetching artifact at $MOST_RECENT_RUN_DOWNLOAD_URL"

‎codebuild/py312/decrypt_dafny_esdk_vectors_keyrings.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,15 +30,15 @@ phases:
3030
MOST_RECENT_RUN_ID=$(curl -H "Accept: application/vnd.github+json" \
3131
-H "Authorization: token ${GITHUB_TOKEN}" \
3232
-H "X-GitHub-Api-Version: 2022-11-28" \
33-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
33+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
3434
| jq 'first(.workflow_runs[] | select(.name=="Daily CI") | .id)')
3535
- |
3636
echo "DEBUG: Fetching artifact from run $MOST_RECENT_RUN_ID"
3737
- |
3838
MOST_RECENT_RUN_DOWNLOAD_URL=$(curl -H "Accept: application/vnd.github+json" \
3939
-H "Authorization: token $GITHUB_TOKEN" \
4040
-H "X-GitHub-Api-Version: 2022-11-28" \
41-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
41+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
4242
| jq '.artifacts[0].archive_download_url')
4343
- |
4444
echo "DEBUG: Fetching artifact at $MOST_RECENT_RUN_DOWNLOAD_URL"

‎codebuild/py312/decrypt_dafny_esdk_vectors_masterkey.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -28,15 +28,15 @@ phases:
2828
MOST_RECENT_RUN_ID=$(curl -H "Accept: application/vnd.github+json" \
2929
-H "Authorization: token ${GITHUB_TOKEN}" \
3030
-H "X-GitHub-Api-Version: 2022-11-28" \
31-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
31+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
3232
| jq 'first(.workflow_runs[] | select(.name=="Daily CI") | .id)')
3333
- |
3434
echo "DEBUG: Fetching artifact from run $MOST_RECENT_RUN_ID"
3535
- |
3636
MOST_RECENT_RUN_DOWNLOAD_URL=$(curl -H "Accept: application/vnd.github+json" \
3737
-H "Authorization: token $GITHUB_TOKEN" \
3838
-H "X-GitHub-Api-Version: 2022-11-28" \
39-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
39+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
4040
| jq '.artifacts[0].archive_download_url')
4141
- |
4242
echo "DEBUG: Fetching artifact at $MOST_RECENT_RUN_DOWNLOAD_URL"

‎codebuild/py38/decrypt_dafny_esdk_vectors.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -28,15 +28,15 @@ phases:
2828
MOST_RECENT_RUN_ID=$(curl -H "Accept: application/vnd.github+json" \
2929
-H "Authorization: token ${GITHUB_TOKEN}" \
3030
-H "X-GitHub-Api-Version: 2022-11-28" \
31-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
31+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
3232
| jq 'first(.workflow_runs[] | select(.name=="Daily CI") | .id)')
3333
- |
3434
echo "DEBUG: Fetching artifact from run $MOST_RECENT_RUN_ID"
3535
- |
3636
MOST_RECENT_RUN_DOWNLOAD_URL=$(curl -H "Accept: application/vnd.github+json" \
3737
-H "Authorization: token $GITHUB_TOKEN" \
3838
-H "X-GitHub-Api-Version: 2022-11-28" \
39-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
39+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
4040
| jq '.artifacts[0].archive_download_url')
4141
- |
4242
echo "DEBUG: Fetching artifact at $MOST_RECENT_RUN_DOWNLOAD_URL"

‎codebuild/py39/decrypt_dafny_esdk_vectors.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -28,15 +28,15 @@ phases:
2828
MOST_RECENT_RUN_ID=$(curl -H "Accept: application/vnd.github+json" \
2929
-H "Authorization: token ${GITHUB_TOKEN}" \
3030
-H "X-GitHub-Api-Version: 2022-11-28" \
31-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
31+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs?branch=mainline&status=completed&page=1&exclude_pull_requests=true" \
3232
| jq 'first(.workflow_runs[] | select(.name=="Daily CI") | .id)')
3333
- |
3434
echo "DEBUG: Fetching artifact from run $MOST_RECENT_RUN_ID"
3535
- |
3636
MOST_RECENT_RUN_DOWNLOAD_URL=$(curl -H "Accept: application/vnd.github+json" \
3737
-H "Authorization: token $GITHUB_TOKEN" \
3838
-H "X-GitHub-Api-Version: 2022-11-28" \
39-
"https://api.github.com/repos/aws/aws-encryption-sdk-dafny/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
39+
"https://api.github.com/repos/aws/aws-encryption-sdk/actions/runs/$MOST_RECENT_RUN_ID/artifacts?name=ubuntu-latest_vector_artifact" \
4040
| jq '.artifacts[0].archive_download_url')
4141
- |
4242
echo "DEBUG: Fetching artifact at $MOST_RECENT_RUN_DOWNLOAD_URL"

0 commit comments

Comments
 (0)