Skip to content

chore(deps): bump software.amazon.awssdk:core from 2.26.25 to 2.30.5 in /TestVectors/runtimes/java #889

chore(deps): bump software.amazon.awssdk:core from 2.26.25 to 2.30.5 in /TestVectors/runtimes/java

chore(deps): bump software.amazon.awssdk:core from 2.26.25 to 2.30.5 in /TestVectors/runtimes/java #889

Annotations

1 warning

getVerifyVersion  /  getDafnyVerifyVersion

succeeded Jan 24, 2025 in 10s