Skip to content

Commit 08dd1e0

Browse files
Merge branch 'rishav-gha' of https://github.com/aws/aws-database-encryption-sdk-dynamodb into rishav-gha
2 parents 214e962 + 15b2ff0 commit 08dd1e0

14 files changed

+18
-17
lines changed

.github/workflows/ci_codegen.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@ jobs:
3838
# and to translate version strings such as "nightly-latest"
3939
# to an actual DAFNY_VERSION.
4040
- name: Setup Dafny
41-
uses: dafny-lang/[email protected].0
41+
uses: dafny-lang/[email protected].2
4242
with:
4343
dafny-version: ${{ inputs.dafny }}
4444

.github/workflows/ci_examples_java.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -53,7 +53,7 @@ jobs:
5353
java-version: ${{ matrix.java-version }}
5454

5555
- name: Setup Dafny
56-
uses: dafny-lang/[email protected].0
56+
uses: dafny-lang/[email protected].2
5757
with:
5858
dafny-version: ${{ inputs.dafny }}
5959

.github/workflows/ci_examples_net.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ jobs:
4646
dotnet-version: ${{ matrix.dotnet-version }}
4747

4848
- name: Setup Dafny
49-
uses: dafny-lang/[email protected].0
49+
uses: dafny-lang/[email protected].2
5050
with:
5151
dafny-version: ${{ inputs.dafny }}
5252

.github/workflows/ci_test_java.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ jobs:
4747
submodules: recursive
4848

4949
- name: Setup Dafny
50-
uses: dafny-lang/[email protected].0
50+
uses: dafny-lang/[email protected].2
5151
with:
5252
dafny-version: ${{ inputs.dafny }}
5353

.github/workflows/ci_test_net.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ jobs:
4747
dotnet-version: ${{ matrix.dotnet-version }}
4848

4949
- name: Setup Dafny
50-
uses: dafny-lang/[email protected].0
50+
uses: dafny-lang/[email protected].2
5151
with:
5252
dafny-version: ${{ inputs.dafny }}
5353

.github/workflows/ci_test_vector_java.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@ jobs:
5656
submodules: recursive
5757

5858
- name: Setup Dafny
59-
uses: dafny-lang/[email protected].0
59+
uses: dafny-lang/[email protected].2
6060
with:
6161
dafny-version: ${{ inputs.dafny }}
6262

.github/workflows/ci_test_vector_net.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,7 @@ jobs:
5252
submodules: recursive
5353

5454
- name: Setup Dafny
55-
uses: dafny-lang/[email protected].0
55+
uses: dafny-lang/[email protected].2
5656
with:
5757
dafny-version: ${{ inputs.dafny }}
5858

.github/workflows/library_dafny_verification.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,7 @@ jobs:
5252
submodules: recursive
5353

5454
- name: Setup Dafny
55-
uses: dafny-lang/[email protected].0
55+
uses: dafny-lang/[email protected].2
5656
with:
5757
dafny-version: ${{ inputs.dafny }}
5858

@@ -73,7 +73,7 @@ jobs:
7373
# dafny-reportgenerator requires next6
7474
# but only 7.0 is installed on macos-12-large
7575
- name: Setup .NET Core SDK '6.0.x'
76-
uses: actions/setup-dotnet@v3
76+
uses: actions/setup-dotnet@v4
7777
with:
7878
dotnet-version: "6.0.x"
7979

.github/workflows/library_format.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,7 @@ jobs:
3737
submodules: recursive
3838

3939
- name: Setup Dafny
40-
uses: dafny-lang/[email protected].0
40+
uses: dafny-lang/[email protected].2
4141
with:
4242
dafny-version: ${{ '4.2.0' }}
4343

.github/workflows/nightly.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ jobs:
7373
steps:
7474
# We need access to the role that is able to get CI Bot Creds
7575
- name: Configure AWS Credentials for Release
76-
uses: aws-actions/configure-aws-credentials@v2
76+
uses: aws-actions/configure-aws-credentials@v4
7777
with:
7878
aws-region: us-west-2
7979
role-to-assume: arn:aws:iam::587316601012:role/GitHub-CI-CI-Bot-Credential-Access-Role-us-west-2

0 commit comments

Comments
 (0)