From 767be61ca8466a30fd3e2be6a84755d0b1885217 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Tue, 20 Aug 2024 14:12:03 -0700 Subject: [PATCH] chore(GHA): another gha fix --- .github/workflows/dafny_interop_test_vector_java.yml | 1 + .github/workflows/dafny_interop_test_vector_net.yml | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/dafny_interop_test_vector_java.yml b/.github/workflows/dafny_interop_test_vector_java.yml index 09131e27f..d011430cd 100644 --- a/.github/workflows/dafny_interop_test_vector_java.yml +++ b/.github/workflows/dafny_interop_test_vector_java.yml @@ -77,6 +77,7 @@ jobs: # This works because `node` is installed by default on GHA runners CORES=$(node -e 'console.log(os.cpus().length)') make build_java CORES=$CORES + make mvn_local_deploy - name: Setup DBESDK Dafny uses: dafny-lang/setup-dafny-action@v1.7.2 diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml index 86ba24398..a6de57f63 100644 --- a/.github/workflows/dafny_interop_test_vector_net.yml +++ b/.github/workflows/dafny_interop_test_vector_net.yml @@ -90,8 +90,8 @@ jobs: working-directory: ${{matrix.library}} run: | # This works because `node` is installed by default on GHA runners - make transpile_implementation_net CORES=$CORES - make transpile_test_net CORES=$CORES + make transpile_implementation_net + make transpile_test_net - name: Test TestVectors on .NET 6.0 working-directory: ./${{matrix.library}}/runtimes/net