Skip to content

chore(ci): add retries in CI #893

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
rishav-karanjit wants to merge 1 commit into
base: mainline
Choose a base branch
from
Draft

chore(ci): add retries in CI #893

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
8 changes: 6 additions & 2 deletions .github/workflows/check_only_keyword.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,13 @@ jobs:
issues: write
pull-requests: write
steps:
- uses: actions/checkout@v6
- uses: Wandalen/wretry.action@master
with:
fetch-depth: 0
action: actions/checkout@v6
with: |
fetch-depth: 0
attempt_limit: 3
attempt_delay: 2000

- name: Check only keyword
id: only-keyword
Expand Down
6 changes: 5 additions & 1 deletion .github/workflows/ci_static-analysis.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,10 @@ jobs:
not-grep:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v6
- uses: Wandalen/wretry.action@master
with:
action: actions/checkout@v6
attempt_limit: 3
attempt_delay: 2000
- name: not-grep
uses: mattsb42-meta/not-grep@1.0.1
16 changes: 12 additions & 4 deletions .github/workflows/dafny_format_version.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,10 +16,18 @@ jobs:
outputs:
version: ${{ steps.read_property.outputs.dafnyFormatVersion }}
steps:
- uses: actions/checkout@v6
- uses: Wandalen/wretry.action@master
with:
action: actions/checkout@v6
attempt_limit: 3
attempt_delay: 2000
- name: Read version from Properties-file
id: read_property
uses: christian-draeger/read-properties@1.1.1
uses: Wandalen/wretry.action@master
with:
path: "./project.properties"
properties: "dafnyFormatVersion"
action: christian-draeger/read-properties@1.1.1
with: |
path: "./project.properties"
properties: "dafnyFormatVersion"
attempt_limit: 3
attempt_delay: 2000
57 changes: 39 additions & 18 deletions .github/workflows/dafny_interop_library_go_tests.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,41 +40,62 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v6
- uses: Wandalen/wretry.action@master
with:
action: actions/checkout@v6
attempt_limit: 3
attempt_delay: 2000

- name: Init Submodules
shell: bash
run: |
git submodule update --init libraries
git submodule update --init --recursive mpl
uses: nick-fields/retry@v3
with:
timeout_minutes: 10
max_attempts: 3
shell: bash
command: |
git submodule update --init libraries
git submodule update --init --recursive mpl

- name: Configure AWS Credentials
uses: aws-actions/configure-aws-credentials@v6
uses: Wandalen/wretry.action@master
with:
aws-region: us-west-2
role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2
role-session-name: GoTests
action: aws-actions/configure-aws-credentials@v6
with: |
aws-region: us-west-2
role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2
role-session-name: GoTests
attempt_limit: 3
attempt_delay: 2000

- name: Setup MPL Dafny
uses: ./mpl/.github/actions/setup_dafny
with:
dafny-version: ${{ inputs.mpl-dafny }}

- name: Update MPL submodule
working-directory: mpl
run: |
git fetch
git checkout ${{inputs.mpl-commit}}
git pull
git submodule update --init --recursive
git rev-parse HEAD
uses: nick-fields/retry@v3
with:
timeout_minutes: 10
max_attempts: 3
command: |
cd mpl
git fetch
git checkout ${{inputs.mpl-commit}}
git pull
git submodule update --init --recursive
git rev-parse HEAD

- name: Install Smithy-Dafny codegen dependencies
uses: ./.github/actions/install_smithy_dafny_codegen_dependencies

- name: Install Go
uses: actions/setup-go@v6
uses: Wandalen/wretry.action@master
with:
go-version: ${{ matrix.go-version }}
action: actions/setup-go@v6
with: |
go-version: ${{ matrix.go-version }}
attempt_limit: 3
attempt_delay: 2000

- name: Compile MPL with Dafny ${{inputs.mpl-dafny}}
shell: bash
Expand Down
55 changes: 37 additions & 18 deletions .github/workflows/dafny_interop_test_net.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,40 +46,59 @@ jobs:
- name: Support longpaths on Git checkout
run: |
git config --global core.longpaths true
- uses: actions/checkout@v6
- uses: Wandalen/wretry.action@master
with:
submodules: recursive
fetch-depth: 0
action: actions/checkout@v6
with: |
submodules: recursive
fetch-depth: 0
attempt_limit: 3
attempt_delay: 2000

- name: Setup .NET Core SDK 6
uses: actions/setup-dotnet@v5
uses: Wandalen/wretry.action@master
with:
dotnet-version: "6.0.x"
action: actions/setup-dotnet@v5
with: |
dotnet-version: "6.0.x"
attempt_limit: 3
attempt_delay: 2000

- name: Setup MPL Dafny
uses: ./mpl/.github/actions/setup_dafny
with:
dafny-version: ${{ inputs.mpl-dafny }}

- name: Update MPL submodule
working-directory: mpl
run: |
git fetch
git checkout ${{inputs.mpl-commit}}
git pull
git submodule update --init --recursive
git rev-parse HEAD
uses: nick-fields/retry@v3
with:
timeout_minutes: 10
max_attempts: 3
command: |
cd mpl
git fetch
git checkout ${{inputs.mpl-commit}}
git pull
git submodule update --init --recursive
git rev-parse HEAD

- name: Download Dependencies
working-directory: AwsEncryptionSDK
run: make setup_net
uses: nick-fields/retry@v3
with:
timeout_minutes: 10
max_attempts: 3
command: cd AwsEncryptionSDK && make setup_net

- name: Configure AWS Credentials
uses: aws-actions/configure-aws-credentials@v6
uses: Wandalen/wretry.action@master
with:
aws-region: us-west-2
role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2
role-session-name: NetTests
action: aws-actions/configure-aws-credentials@v6
with: |
aws-region: us-west-2
role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2
role-session-name: NetTests
attempt_limit: 3
attempt_delay: 2000

- name: Compile MPL with Dafny ${{inputs.mpl-dafny}}
shell: bash
Expand Down
Loading
Loading