chore(CI): fix dafny_interop to setup_net (#1965)

Co-authored-by: José Corella <39066999+josecorella@users.noreply.github.com>

Author: imabhichow

.github/workflows/dafny_interop_examples_java.yml

@@ -59,6 +59,9 @@ jobs:
           git submodule update --init --recursive
           git rev-parse HEAD
 
+      - name: Install Smithy-Dafny codegen dependencies
+        uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
+
       - name: Setup Java 8
         uses: actions/setup-java@v5
         with:

.github/workflows/dafny_interop_java.yml

@@ -59,6 +59,9 @@ jobs:
           git submodule update --init --recursive
           git rev-parse HEAD
 
+      - name: Install Smithy-Dafny codegen dependencies
+        uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
+
       - name: Setup Java 8
         uses: actions/setup-java@v5
         with:

.github/workflows/dafny_interop_test_vector_java.yml

@@ -68,6 +68,9 @@ jobs:
           git submodule update --init --recursive
           git rev-parse HEAD
 
+      - name: Install Smithy-Dafny codegen dependencies
+        uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
+
       - name: Setup Java ${{ matrix.java-version }}
         uses: actions/setup-java@v5
         with:

.github/workflows/daily_ci.yml

@@ -1,9 +1,15 @@
 # This workflow runs every weekday at 16:00 UTC (9AM PDT)
 name: Daily CI
 
+permissions:
+  contents: read
+  id-token: write
+
 on:
   schedule:
     - cron: "00 16 * * 1-5"
+  pull_request:
+    paths: .github/workflows/daily_ci.yml
 
 jobs:
   getVersion:

.github/workflows/pull.yml

@@ -1,6 +1,10 @@
 # This workflow runs for every pull request
 name: PR CI
 
+permissions:
+  contents: read
+  id-token: write
+
 on:
   pull_request:
 

.github/workflows/push.yml

@@ -1,6 +1,10 @@
 # This workflow runs for every push to main
 name: Push CI
 
+permissions:
+  contents: read
+  id-token: write
+
 on:
   push:
     branches:

DynamoDbEncryption/codebuild/release-prod.yml

@@ -14,6 +14,7 @@ phases:
       - export PATH="$PWD/dafny:$PATH"
       # Switch back to the main directory
       - cd aws-database-encryption-sdk-dynamodb
+      - make -C DynamoDbEncryption mvn_local_deploy_polymorph_dependencies
   pre_build:
     commands:
       # UNIQUE_ID should be passed in as an environment variable. It is used to tie

DynamoDbEncryption/codebuild/release-staging.yml

@@ -14,6 +14,7 @@ phases:
       - export PATH="$PWD/dafny:$PATH"
       # Switch back to the main directory
       - cd aws-database-encryption-sdk-dynamodb
+      - make -C DynamoDbEncryption mvn_local_deploy_polymorph_dependencies
   pre_build:
     commands:
       # UNIQUE_ID should be passed in as an environment variable. It is used to tie

DynamoDbEncryption/codebuild/sign.yml

@@ -14,6 +14,7 @@ phases:
       - export PATH="$PWD/dafny:$PATH"
       # Switch back to the main directory
       - cd aws-database-encryption-sdk-dynamodb
+      - make -C DynamoDbEncryption mvn_local_deploy_polymorph_dependencies
   pre_build:
     commands:
       # UNIQUE_ID should be passed in as an environment variable. It is used to tie

DynamoDbEncryption/codebuild/test-prod.yml

@@ -14,6 +14,7 @@ phases:
       - export PATH="$PWD/dafny:$PATH"
       # Switch back to the main directory
       - cd aws-database-encryption-sdk-dynamodb
+      - make -C DynamoDbEncryption mvn_local_deploy_polymorph_dependencies
   pre_build:
     commands:
       - cd DynamoDbEncryption