bump Dafny version in codebuild scripts, runtime version in project p…

…roperties
aws · Oct 5, 2023 · 49c24e5 · 49c24e5
1 parent 1410c38
commit 49c24e5
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 6 deletions.
diff --git a/codebuild/release/release-prod.yml b/codebuild/release/release-prod.yml
@@ -21,7 +21,7 @@ phases:
     commands:
       - cd ..
       # Get Dafny
-      - curl https://github.com/dafny-lang/dafny/releases/download/v4.1.0/dafny-4.1.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
+      - curl https://github.com/dafny-lang/dafny/releases/download/v4.2.0/dafny-4.2.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"
       # Get Gradle 7.6

diff --git a/codebuild/release/validate-release.yml b/codebuild/release/validate-release.yml
@@ -14,7 +14,7 @@ phases:
     commands:
       - cd ..
       # Get Dafny
-      - curl https://github.com/dafny-lang/dafny/releases/download/v4.1.0/dafny-4.1.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
+      - curl https://github.com/dafny-lang/dafny/releases/download/v4.2.0/dafny-4.2.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"
       # Get Gradle 7.6
@@ -61,4 +61,4 @@ phases:
       # Run Migration Examples
       - gradle -p runtimes/java/Migration/PlaintextToAWSDBE test
       - gradle -p runtimes/java/Migration/DDBECToAWSDBE test 
-
+
diff --git a/codebuild/staging/release-staging.yml b/codebuild/staging/release-staging.yml
@@ -21,7 +21,7 @@ phases:
     commands:
       - cd ..
       # Get Dafny
-      - curl https://github.com/dafny-lang/dafny/releases/download/v4.1.0/dafny-4.1.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
+      - curl https://github.com/dafny-lang/dafny/releases/download/v4.2.0/dafny-4.2.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"
       # Get Gradle 7.6

diff --git a/codebuild/staging/validate-staging.yml b/codebuild/staging/validate-staging.yml
@@ -18,7 +18,7 @@ phases:
     commands:
       - cd ..
       # Get Dafny
-      - curl https://github.com/dafny-lang/dafny/releases/download/v4.1.0/dafny-4.1.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
+      - curl https://github.com/dafny-lang/dafny/releases/download/v4.2.0/dafny-4.2.0-x64-ubuntu-20.04.zip  -L -o dafny.zip
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"
       # Get Gradle 7.6

diff --git a/project.properties b/project.properties
@@ -1,4 +1,4 @@
 projectJavaVersion=3.1.0
 mplDependencyJavaVersion=1.0.0
-dafnyRuntimeJavaVersion=4.1.0
+dafnyRuntimeJavaVersion=4.2.0
 smithyDafnyJavaConversionVersion=0.1