Merge branch 'main' into imabhichow/dafny-4.11

Author: imabhichow

.github/actions/install_smithy_dafny_codegen_dependencies/action.yml

@@ -30,6 +30,16 @@ runs:
         python -m pip install --upgrade black
         python -m pip install --upgrade docformatter
 
+    - name: Install Go
+      uses: actions/setup-go@v2
+      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

.github/actions/setup_dafny/action.yml

@@ -25,6 +25,6 @@ runs:
         dotnet-version: "9.0.x"
 
     - name: Setup Dafny with setup-dafny action
-      uses: dafny-lang/setup-dafny-action@v1.8.0
+      uses: dafny-lang/setup-dafny-action@v1.9.1
       with:
         dafny-version: ${{ inputs.dafny-version }}

.github/workflows/library_rust_tests.yml

@@ -68,6 +68,12 @@ jobs:
         if: matrix.os == 'windows-latest'
         uses: ilammy/setup-nasm@v1
 
+      # Go is needed for aws-lc-FIPS
+      - name: Install Go
+        uses: actions/setup-go@v5
+        with:
+          go-version: ">=1.18"
+
       - name: Install Smithy-Dafny codegen dependencies
         uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
 
@@ -85,15 +91,17 @@ jobs:
           CORES=$(node -e 'console.log(os.cpus().length)')
           make transpile_rust TRANSPILE_TESTS_IN_RUST=1 CORES=$CORES
 
-      - name: Test Linter for Rust examples and implementation_from_dafny.rs
-        working-directory: ${{ matrix.library }}/runtimes/rust
-        shell: bash
-        run: |
-          cargo clippy
-
       - name: Test ${{ matrix.library }} Rust
         shell: bash
         working-directory: ./${{ matrix.library }}
         run: |
           make test_rust
           make test_rust_debug
+
+      - name: Test ${{ matrix.library }} Rust Fips
+        if: matrix.library == 'AwsCryptographyPrimitives' || matrix.library == 'AwsCryptographicMaterialProviders' || matrix.library == 'TestVectorsAwsCryptographicMaterialProviders'
+        shell: bash
+        working-directory: ./${{ matrix.library }}/runtimes/rust
+        run: |
+          cargo test --release --features fips -- --nocapture
+          cargo test --features fips -- --nocapture