m

Author: josecorella

.github/workflows/ci_test_net.yml

@@ -83,14 +83,15 @@ jobs:
           # This works because `node` is installed by default on GHA runners
           CORES=$(node -e 'console.log(os.cpus().length)')
           make transpile_net CORES=$CORES
+      
       - name: Test ${{ matrix.library }} net6.0
         working-directory: ./${{ matrix.library }}
         shell: bash
         run: |
           if [ "$RUNNER_OS" == "macOS" ]; then
             make test_net_mac_intel
           else
-            make test_net
+            make test_net FRAMEWORK=net6.0
           fi
       
       - name: Test ${{ matrix.library }} net48

DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj

@@ -34,6 +34,7 @@
   <ItemGroup>
     <PackageReference Include="AWSSDK.DynamoDBv2" Version="3.7.300.2"/>
     <PackageReference Include="AWSSDK.Core" Version="3.7.300.2"/>
+    <PackageReference Include="DafnyRuntime" Version="4.2.0" />
     <ProjectReference Include="../../../submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj"/>
     <!--
               System.Collections.Immutable can be removed once dafny.msbuild is updated with