Skip to content
Open
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
8 changes: 4 additions & 4 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,20 +56,20 @@ 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 }}

- name: Create temporary global.json
run: echo '{"sdk":{"rollForward":"latestFeature","version":"6.0.0"}}' > ./global.json

- name: Setup Java 17 for codegen
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: "17"
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
6 changes: 3 additions & 3 deletions .github/workflows/ci_examples_java.yml
Original file line number Diff line number Diff line change
Expand Up @@ -51,19 +51,19 @@ 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

- name: Setup Java 8
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: 8

- name: Setup Java ${{ matrix.java-version }}
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: ${{ matrix.java-version }}
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
10 changes: 5 additions & 5 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 All @@ -89,7 +89,7 @@ jobs:
run: echo '{"sdk":{"rollForward":"latestFeature","version":"6.0.0"}}' > ./global.json

- name: Setup Java 17 for codegen
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: "17"
Expand All @@ -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
6 changes: 3 additions & 3 deletions .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 Expand Up @@ -91,13 +91,13 @@ jobs:
update-and-regenerate-mpl: true

- name: Setup Java 8
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: 8

- name: Setup Java ${{ matrix.java-version }}
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: ${{ matrix.java-version }}
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/ci_test_latest_released_mpl_java.yml
Original file line number Diff line number Diff line change
Expand Up @@ -76,20 +76,20 @@ 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

- name: Setup Java ${{ matrix.java-version }}
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: ${{ matrix.java-version }}
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
8 changes: 4 additions & 4 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 Expand Up @@ -119,13 +119,13 @@ jobs:
update-and-regenerate-mpl: true

- name: Setup Java 8
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: 8

- name: Setup Java ${{ matrix.java-version }}
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: ${{ matrix.java-version }}
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
6 changes: 3 additions & 3 deletions .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 All @@ -66,13 +66,13 @@ jobs:
mpl-submodule-path: ./submodules/MaterialProviders/

- name: Setup Java 8
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: 8

- name: Setup Java ${{ matrix.java-version }}
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: ${{ matrix.java-version }}
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
6 changes: 3 additions & 3 deletions .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 All @@ -66,13 +66,13 @@ jobs:
mpl-submodule-path: ./submodules/MaterialProviders/

- name: Setup Java 8
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: 8

- name: Setup Java ${{ matrix.java-version }}
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: ${{ matrix.java-version }}
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
4 changes: 2 additions & 2 deletions .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 All @@ -75,7 +75,7 @@ jobs:
mpl-submodule-path: ./submodules/MaterialProviders/

- name: Setup Java ${{ matrix.java-version }}
uses: actions/setup-java@v5
uses: actions/setup-java@v6
with:
distribution: "corretto"
java-version: ${{ matrix.java-version }}
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
Loading
Loading