Skip to content
Merged
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_only_keyword.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@v5
- uses: actions/checkout@v6
with:
fetch-depth: 0

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/ci_static-analysis.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@ jobs:
not-grep:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: not-grep
uses: mattsb42-meta/not-grep@1.0.0
2 changes: 1 addition & 1 deletion .github/workflows/dafny_format_version.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ jobs:
outputs:
version: ${{ steps.read_property.outputs.dafnyFormatVersion }}
steps:
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- 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/dafny_interop_library_go_tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/dafny_interop_test_net.yml
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
with:
submodules: recursive
fetch-depth: 0
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/dafny_interop_test_vector_net.yml
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
with:
submodules: recursive
fetch-depth: 0
Expand Down Expand Up @@ -152,7 +152,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
with:
submodules: recursive
fetch-depth: 0
Expand Down Expand Up @@ -251,7 +251,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/dafny_verify_version.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ jobs:
outputs:
version: ${{ steps.read_property.outputs.dafnyVerifyVersion }}
steps:
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- 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/dafny_version.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ jobs:
outputs:
version: ${{ steps.read_property.outputs.dafnyVersion }}
steps:
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- 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/duvet.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ jobs:
run: |
git config --global core.longpaths true

- uses: actions/checkout@v5
- uses: actions/checkout@v6
with:
submodules: true

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 @@ -37,7 +37,7 @@ jobs:
role-session-name: GoReleaseTest

- name: Checkout repository
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
fetch-depth: 0
token: ${{ secrets.GITHUB_TOKEN }}
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/library_codegen.yml
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ jobs:
run: |
git config --global core.longpaths true

- uses: actions/checkout@v5
- uses: actions/checkout@v6
# The specification submodule is private so we don't have access, but we don't need
# it to verify the Dafny code. Instead we manually pull the submodules we DO need.
- run: git submodule update --init libraries
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/library_dafny_verification.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ jobs:
run: |
git config --global core.longpaths true

- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
run: |
git submodule update --init libraries
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 @@ -32,7 +32,7 @@ jobs:
run: |
git config --global core.longpaths true

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

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/library_go_tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down
12 changes: 6 additions & 6 deletions .github/workflows/library_interop_keyring_test_vectors.yml
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ jobs:
role-session-name: InterOpTests
role-duration-seconds: 7200

- uses: actions/checkout@v5
- uses: actions/checkout@v6
with:
submodules: "recursive"

Expand All @@ -69,15 +69,15 @@ jobs:

- name: Checkout C-ESDK
if: matrix.language == 'c'
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
repository: "aws/aws-encryption-sdk-c"
path: ./${{ matrix.library }}/aws-encryption-sdk-c
submodules: recursive

- name: Checkout AWS C++ SDK
if: matrix.language == 'c'
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
repository: "aws/aws-sdk-cpp"
path: ./${{ matrix.library }}/aws-encryption-sdk-c/aws-sdk-cpp
Expand Down Expand Up @@ -326,7 +326,7 @@ jobs:
role-session-name: InterOpTests
role-duration-seconds: 7200

- uses: actions/checkout@v5
- uses: actions/checkout@v6
with:
submodules: "recursive"

Expand All @@ -344,15 +344,15 @@ jobs:

- name: Checkout C-ESDK
if: matrix.decrypting_language == 'c'
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
repository: "aws/aws-encryption-sdk-c"
path: ./${{ matrix.library }}/aws-encryption-sdk-c
submodules: recursive

- name: Checkout AWS C++ SDK
if: matrix.decrypting_language == 'c'
uses: actions/checkout@v5
uses: actions/checkout@v6
with:
repository: "aws/aws-sdk-cpp"
path: ./${{ matrix.library }}/aws-encryption-sdk-c/aws-sdk-cpp
Expand Down
10 changes: 5 additions & 5 deletions .github/workflows/library_interop_mkp_test_vectors.yml
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,7 @@ jobs:
role-session-name: InterOpTests
role-duration-seconds: 3600

- uses: actions/checkout@v5
- uses: actions/checkout@v6
with:
submodules: "recursive"

Expand Down Expand Up @@ -253,7 +253,7 @@ jobs:
role-session-name: InterOpTests
role-duration-seconds: 3600

- uses: actions/checkout@v5
- uses: actions/checkout@v6
with:
submodules: "recursive"

Expand Down Expand Up @@ -536,7 +536,7 @@ jobs:
run: |
git config --global core.longpaths true

- uses: actions/checkout@v5
- uses: actions/checkout@v6
with:
submodules: "recursive"

Expand Down Expand Up @@ -601,7 +601,7 @@ jobs:
run: |
git config --global core.longpaths true

- uses: actions/checkout@v5
- uses: actions/checkout@v6
with:
submodules: "recursive"

Expand Down Expand Up @@ -677,7 +677,7 @@ jobs:
role-session-name: InterOpTests
role-duration-seconds: 3600

- uses: actions/checkout@v5
- uses: actions/checkout@v6
with:
submodules: "recursive"

Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/library_interop_tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down Expand Up @@ -139,7 +139,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down Expand Up @@ -238,7 +238,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/library_java_tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ jobs:
run: |
git config --global core.longpaths true

- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
run: |
git submodule update --init libraries
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ jobs:
run: |
git config --global core.longpaths true

- uses: actions/checkout@v5
- uses: actions/checkout@v6
with:
submodules: "recursive"

Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/library_net_tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down Expand Up @@ -158,7 +158,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
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 @@ -34,7 +34,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down Expand Up @@ -126,7 +126,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/performance-benchmarks-go.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/performance-benchmarks-java.yml
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/performance-benchmarks-net.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/performance-benchmarks-python.yml
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/performance-benchmarks-rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
- name: Init Submodules
shell: bash
run: |
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/sem_ver.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ jobs:
run: |
git config --global core.longpaths true

- uses: actions/checkout@v5
- uses: actions/checkout@v6
with:
submodules: recursive
# We need access to the role that is able to get CI Bot Creds
Expand Down Expand Up @@ -48,6 +48,6 @@ jobs:

# Test to see if we can setup semantic release
- name: Test Semantic Release Installation
uses: actions/checkout@v5
uses: actions/checkout@v6
- run: |
make setup_semantic_release
2 changes: 1 addition & 1 deletion .github/workflows/semantic_release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v5
- uses: actions/checkout@v6
# We only pull in the submodules we need to build the library
- run: git submodule update --init libraries

Expand Down
Loading
Loading