Skip to content

chore(deps): bump AWSSDK.Core from 3.7.304.2 to 3.7.400.63 in /AwsCryptographicMaterialProviders/runtimes/net #3569

chore(deps): bump AWSSDK.Core from 3.7.304.2 to 3.7.400.63 in /AwsCryptographicMaterialProviders/runtimes/net

chore(deps): bump AWSSDK.Core from 3.7.304.2 to 3.7.400.63 in /AwsCryptographicMaterialProviders/runtimes/net #3569

Annotations

1 warning

getVersion  /  getDafnyVersion

succeeded Dec 13, 2024 in 6s