aws-encryption-sdk/.github/actions/install_smithy_dafny_codegen_dependencies/action.yml at 725e6cbc7d2675ebc83440bf85f46b139ccc6f6a · aws/aws-encryption-sdk · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
#
# This local action sets up code dependencies
# to run Smithy-Dafny CI in GitHub Actions workflows.
#

name: "Install Smithy-Dafny codegen dependencies"
description: "Install Java package dependencies required to run Smithy-Dafny codegen"
runs:
  using: "composite"
  steps:
    - name: Setup Java 17 for codegen
      uses: actions/setup-java@v3
      with:
        distribution: "corretto"
        java-version: "17"

    - name: Install smithy-dafny-codegen dependencies locally
      shell: bash
      run: |
        make -C mpl/smithy-dafny mvn_local_deploy_polymorph_dependencies

    - name: Setup Python, black, and docformatter for code formatting
      uses: actions/setup-python@v4
      with:
        python-version: ${{ matrix.python-version }}
        architecture: x64
    - shell: bash
      run: |
        python -m pip install --upgrade pip
        python -m pip install --upgrade black
        python -m pip install --upgrade docformatter

    - name: Install Go
      uses: actions/setup-go@v5
      with:
        go-version: "1.23"

    - name: Install Go imports
      shell: bash
      run: |
        go install golang.org/x/tools/cmd/goimports@latest

    # Without this the if-dafny-at-least command includes "Downloading ..." output
    - name: Arbitrary makefile target to force downloading Gradle
      shell: bash
      run: |
        make -C mpl/StandardLibrary setup_net