Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/check-files.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ jobs:
# to add more allowlisted approvers just modify this env variable
maintainers: ShubhamChaturvedi7, lucasmcdonald3, josecorella, rishav-karanjit, antonf-amzn, kessplas, sharmabikram
steps:
- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
fetch-depth: 0

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/check_only_key_word.yml
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ jobs:
issues: write
pull-requests: write
steps:
- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
fetch-depth: 0

Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/ci_codegen.yml
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ jobs:
run: |
git config --global core.longpaths true

- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
ref: ${{ inputs.branch || github.head_ref || github.ref }}
submodules: recursive
Expand All @@ -56,12 +56,12 @@ jobs:
dafny-version: ${{ inputs.dafny }}

- name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
uses: actions/setup-dotnet@v5
uses: actions/setup-dotnet@v6
with:
dotnet-version: ${{ matrix.dotnet-version }}

- name: Install Go
uses: actions/setup-go@v6
uses: actions/setup-go@v7
with:
go-version: ${{ matrix.go-version }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci_duvet.yml
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ jobs:
id-token: write
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v6
- uses: actions/checkout@v7

- name: Install duvet
shell: bash
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci_examples_java.yml
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ jobs:
- name: Enable long paths
run: git config --global core.longpaths true

- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
ref: ${{ inputs.branch || github.head_ref || github.ref }}
submodules: recursive
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/ci_examples_net.yml
Original file line number Diff line number Diff line change
Expand Up @@ -40,13 +40,13 @@ jobs:
DOTNET_CLI_TELEMETRY_OPTOUT: 1
DOTNET_NOLOGO: 1
steps:
- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
ref: ${{ inputs.branch || github.head_ref || github.ref }}
submodules: recursive

- name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
uses: actions/setup-dotnet@v5
uses: actions/setup-dotnet@v6
with:
dotnet-version: ${{ matrix.dotnet-version }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci_static_analysis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ jobs:
id-token: write
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v6
- uses: actions/checkout@v7
- name: Install setuptools dependency
run: |
python -m pip install --upgrade pip
Expand Down
8 changes: 4 additions & 4 deletions .github/workflows/ci_test_go.yml
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ jobs:

- name: Pre-pull DynamoDB Local image with retry
if: matrix.library == 'TestVectors'
uses: nick-fields/retry@v3
uses: nick-fields/retry@v4
with:
timeout_minutes: 5
max_attempts: 3
Expand All @@ -76,7 +76,7 @@ jobs:
run: |
git config --global core.longpaths true

- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
submodules: recursive

Expand Down Expand Up @@ -109,11 +109,11 @@ jobs:
sed "s/mplDependencyJavaVersion=.*/mplDependencyJavaVersion=${{inputs.mpl-version}}/g" project.properties > project.properties2; mv project.properties2 project.properties

- name: Install Go
uses: actions/setup-go@v6
uses: actions/setup-go@v7
with:
go-version: ${{ matrix.go-version }}

- uses: actions/checkout@v6
- uses: actions/checkout@v7
- name: Init Submodules
shell: bash
run: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci_test_java.yml
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,7 @@ jobs:
- name: Enable long paths
run: git config --global core.longpaths true

- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
ref: ${{ inputs.branch || github.head_ref || github.ref }}
submodules: recursive
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/ci_test_latest_released_mpl_java.yml
Original file line number Diff line number Diff line change
Expand Up @@ -76,14 +76,14 @@ jobs:
contents: read
steps:
- name: Configure AWS Credentials
uses: aws-actions/configure-aws-credentials@v5
uses: aws-actions/configure-aws-credentials@v6
with:
aws-region: us-west-2
role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2
role-session-name: DDBEC-Dafny-Java-Tests
special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.

- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
ref: ${{ inputs.branch }}
submodules: recursive
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/ci_test_net.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,13 +41,13 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
ref: ${{ inputs.branch || github.head_ref || github.ref }}
submodules: recursive

- name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
uses: actions/setup-dotnet@v5
uses: actions/setup-dotnet@v6
with:
dotnet-version: ${{ matrix.dotnet-version }}

Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/ci_test_vector_java.yml
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,7 @@ jobs:

- name: Pre-pull DynamoDB Local image with retry
if: matrix.library == 'TestVectors'
uses: nick-fields/retry@v3
uses: nick-fields/retry@v4
with:
timeout_minutes: 5
max_attempts: 3
Expand All @@ -80,7 +80,7 @@ jobs:
port: 8000
cors: "*"

- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
ref: ${{ inputs.branch || github.head_ref || github.ref }}
submodules: recursive
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/ci_test_vector_net.yml
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ jobs:

- name: Pre-pull DynamoDB Local image with retry
if: matrix.library == 'TestVectors'
uses: nick-fields/retry@v3
uses: nick-fields/retry@v4
with:
timeout_minutes: 5
max_attempts: 3
Expand All @@ -75,7 +75,7 @@ jobs:
port: 8000
cors: "*"

- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
ref: ${{ inputs.branch || github.head_ref || github.ref }}
submodules: recursive
Expand Down Expand Up @@ -109,7 +109,7 @@ jobs:
update-and-regenerate-mpl: true

- name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
uses: actions/setup-dotnet@v5
uses: actions/setup-dotnet@v6
with:
dotnet-version: ${{ matrix.dotnet-version }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci_todos.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ jobs:
id-token: write
runs-on: macos-14
steps:
- uses: actions/checkout@v6
- uses: actions/checkout@v7

- name: Check TODOs in code
shell: bash
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/dafny_interop_examples_java.yml
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ jobs:
role-session-name: DDBEC-Dafny-Java-Tests
special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.

- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
submodules: recursive
fetch-depth: 0
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/dafny_interop_examples_net.yml
Original file line number Diff line number Diff line change
Expand Up @@ -36,13 +36,13 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
submodules: recursive
fetch-depth: 0

- name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
uses: actions/setup-dotnet@v5
uses: actions/setup-dotnet@v6
with:
dotnet-version: ${{ matrix.dotnet-version }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/dafny_interop_java.yml
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ jobs:
role-session-name: DDBEC-Dafny-Java-Tests
special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.

- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
submodules: recursive
fetch-depth: 0
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/dafny_interop_test_net.yml
Original file line number Diff line number Diff line change
Expand Up @@ -36,13 +36,13 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
submodules: recursive
fetch-depth: 0

- name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
uses: actions/setup-dotnet@v5
uses: actions/setup-dotnet@v6
with:
dotnet-version: ${{ matrix.dotnet-version }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/dafny_interop_test_vector_java.yml
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ jobs:
role-session-name: DDBEC-Dafny-Java-Tests
special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.

- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
submodules: recursive
fetch-depth: 0
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/dafny_interop_test_vector_net.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,13 +41,13 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
submodules: recursive
fetch-depth: 0

- name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
uses: actions/setup-dotnet@v5
uses: actions/setup-dotnet@v6
with:
dotnet-version: ${{ matrix.dotnet-version }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/dafny_verify_version.yml
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ jobs:
outputs:
version: ${{ steps.read_property.outputs.dafnyVerifyVersion }}
steps:
- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
ref: ${{ inputs.branch || github.head_ref || github.ref }}
- name: Read version from Properties-file
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/dafny_version.yml
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ jobs:
outputs:
version: ${{ steps.read_property.outputs.dafnyVersion }}
steps:
- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
ref: ${{ inputs.branch || github.head_ref || github.ref }}
- name: Read version from Properties-file
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/go-release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ jobs:
role-session-name: GoRelease-DBESDK-Tests

- name: Checkout repository
uses: actions/checkout@v6
uses: actions/checkout@v7
with:
fetch-depth: 0
token: ${{ secrets.GITHUB_TOKEN }}
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/library_dafny_verification.yml
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ jobs:
DOTNET_CLI_TELEMETRY_OPTOUT: 1
DOTNET_NOLOGO: 1
steps:
- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
ref: ${{ inputs.branch || github.head_ref || github.ref }}
submodules: recursive
Expand All @@ -83,7 +83,7 @@ jobs:
# dafny-reportgenerator requires next6
# but only 7.0 is installed on macos-14-large
- name: Setup .NET Core SDK '6.0.x'
uses: actions/setup-dotnet@v5
uses: actions/setup-dotnet@v6
with:
dotnet-version: "6.0.x"

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/library_format.yml
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ jobs:
run: |
git config --global core.longpaths true

- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
ref: ${{ inputs.branch || github.head_ref || github.ref }}
submodules: recursive
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/library_rust_tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ jobs:

- name: Pre-pull DynamoDB Local image with retry
if: matrix.library == 'TestVectors'
uses: nick-fields/retry@v3
uses: nick-fields/retry@v4
with:
timeout_minutes: 5
max_attempts: 3
Expand All @@ -77,7 +77,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
ref: ${{ inputs.branch || github.head_ref || github.ref }}
- name: Init Submodules
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/mpl_dependency_java_version.yml
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ jobs:
outputs:
version: ${{ steps.resolve_version.outputs.version }}
steps:
- uses: actions/checkout@v6
- uses: actions/checkout@v7
- name: Read version from Properties-file
id: read_property
uses: christian-draeger/read-properties@1.1.1
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/mpl_head_version.yml
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ jobs:
outputs:
version: ${{ steps.read_property.outputs.mplVersion }}
steps:
- uses: actions/checkout@v6
- uses: actions/checkout@v7
with:
submodules: recursive
fetch-depth: 0
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/nightly.yml
Original file line number Diff line number Diff line change
Expand Up @@ -126,7 +126,7 @@ jobs:

# Use AWS Secrets Manger GHA to retrieve CI Bot Creds
- name: Get CI Bot Creds Secret
uses: aws-actions/aws-secretsmanager-get-secrets@v2
uses: aws-actions/aws-secretsmanager-get-secrets@v3
with:
secret-ids: Github/aws-crypto-tools-ci-bot
parse-json-secrets: true
Expand Down
Loading
Loading