From 7b6cb8e7e69ef291f3f60c9d5bf4faa54fa7f5ab Mon Sep 17 00:00:00 2001 From: Lucas McDonald Date: Wed, 2 Oct 2024 14:27:44 -0700 Subject: [PATCH] fix: Bump more things to Dafny 4.8 --- .github/workflows/daily_ci.yml | 8 ++++---- AwsEncryptionSDK/codebuild/release/release-prod.yml | 2 +- AwsEncryptionSDK/codebuild/release/release-staging.yml | 2 +- AwsEncryptionSDK/codebuild/release/sign.yml | 2 +- AwsEncryptionSDK/codebuild/release/test-prod.yml | 2 +- 5 files changed, 8 insertions(+), 8 deletions(-) diff --git a/.github/workflows/daily_ci.yml b/.github/workflows/daily_ci.yml index 3824b6cef..1bfb902aa 100644 --- a/.github/workflows/daily_ci.yml +++ b/.github/workflows/daily_ci.yml @@ -11,13 +11,13 @@ jobs: if: github.event_name != 'schedule' || github.repository_owner == 'aws' uses: ./.github/workflows/library_codegen.yml with: - dafny: '4.2.0' + dafny: '4.8.0' daily-ci-verification: # Don't run the cron builds on forks if: github.event_name != 'schedule' || github.repository_owner == 'aws' uses: ./.github/workflows/library_dafny_verification.yml with: - dafny: '4.7.0' + dafny: '4.8.0' # daily-ci-java: # if: github.event_name != 'schedule' || github.repository_owner == 'aws' # uses: ./.github/workflows/library_java_tests.yml @@ -27,10 +27,10 @@ jobs: if: github.event_name != 'schedule' || github.repository_owner == 'aws' uses: ./.github/workflows/library_net_tests.yml with: - dafny: '4.2.0' + dafny: '4.8.0' daily-ci-interop-tests: if: github.event_name != 'schedule' || github.repository_owner == 'aws' uses: ./.github/workflows/library_interop_tests.yml with: - dafny: '4.2.0' + dafny: '4.8.0' diff --git a/AwsEncryptionSDK/codebuild/release/release-prod.yml b/AwsEncryptionSDK/codebuild/release/release-prod.yml index ff80e047e..bbab66bae 100644 --- a/AwsEncryptionSDK/codebuild/release/release-prod.yml +++ b/AwsEncryptionSDK/codebuild/release/release-prod.yml @@ -23,7 +23,7 @@ phases: commands: - cd .. # Get Dafny - - 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 + - curl https://github.com/dafny-lang/dafny/releases/download/v4.8.0/dafny-4.8.0-x64-ubuntu-20.04.zip -L -o dafny.zip - unzip -qq dafny.zip && rm dafny.zip - export PATH="$PWD/dafny:$PATH" # Switch back to the main directory diff --git a/AwsEncryptionSDK/codebuild/release/release-staging.yml b/AwsEncryptionSDK/codebuild/release/release-staging.yml index b4ca40fdf..2333d3185 100644 --- a/AwsEncryptionSDK/codebuild/release/release-staging.yml +++ b/AwsEncryptionSDK/codebuild/release/release-staging.yml @@ -26,7 +26,7 @@ phases: commands: - cd .. # Get Dafny - - 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 + - curl https://github.com/dafny-lang/dafny/releases/download/v4.8.0/dafny-4.8.0-x64-ubuntu-20.04.zip -L -o dafny.zip - unzip -qq dafny.zip && rm dafny.zip - export PATH="$PWD/dafny:$PATH" # install mono to run net48 copied from diff --git a/AwsEncryptionSDK/codebuild/release/sign.yml b/AwsEncryptionSDK/codebuild/release/sign.yml index 1c4c52528..f210f1a21 100644 --- a/AwsEncryptionSDK/codebuild/release/sign.yml +++ b/AwsEncryptionSDK/codebuild/release/sign.yml @@ -8,7 +8,7 @@ phases: commands: - cd .. # Get Dafny - - 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 + - curl https://github.com/dafny-lang/dafny/releases/download/v4.8.0/dafny-4.8.0-x64-ubuntu-20.04.zip -L -o dafny.zip - unzip -qq dafny.zip && rm dafny.zip - export PATH="$PWD/dafny:$PATH" # Switch back to the main directory diff --git a/AwsEncryptionSDK/codebuild/release/test-prod.yml b/AwsEncryptionSDK/codebuild/release/test-prod.yml index da12cb44f..ab324fc2e 100644 --- a/AwsEncryptionSDK/codebuild/release/test-prod.yml +++ b/AwsEncryptionSDK/codebuild/release/test-prod.yml @@ -13,7 +13,7 @@ phases: commands: - cd .. # Get Dafny - - 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 + - curl https://github.com/dafny-lang/dafny/releases/download/v4.8.0/dafny-4.8.0-x64-ubuntu-20.04.zip -L -o dafny.zip - unzip -qq dafny.zip && rm dafny.zip - export PATH="$PWD/dafny:$PATH" # install mono to run net48 copied from