From 40932e9688fe8c7d5f1c1bb01b94103c801211b9 Mon Sep 17 00:00:00 2001 From: Simon Dierl Date: Sun, 11 Feb 2024 21:50:05 +0100 Subject: [PATCH] Enable build scan and dependency graph support --- .github/workflows/test.yml | 10 ++++++++-- settings.gradle.kts | 12 +++++++++++- 2 files changed, 19 insertions(+), 3 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index a4fe750..d54333f 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -53,6 +53,9 @@ jobs: - name: Set up Gradle uses: gradle/actions/setup-gradle@v3 + with: + build-scan-publish: true + dependency-graph: generate-and-submit - name: Run Spotless checks run: ./gradlew spotlessCheck @@ -73,6 +76,9 @@ jobs: - name: Set up Gradle uses: gradle/actions/setup-gradle@v3 + with: + build-scan-publish: true + dependency-graph: generate-and-submit - name: Identify install_name_tool name shell: bash @@ -134,11 +140,11 @@ jobs: ${prefix} java -DexpectedZ3Version="${z3version}" \ -jar z3-turnkey-*-test-runner.jar \ execute --fail-if-no-tests \ - --select-package tools.aqua.z3turnkey + --select-package tools.aqua.z3turnkey \ --reports-dir test-results - name: Publish Test Report uses: mikepenz/action-junit-report@v4 if: always() with: require_tests: true - report_paths: 'test-results/*.xml' \ No newline at end of file + report_paths: 'test-results/*.xml' diff --git a/settings.gradle.kts b/settings.gradle.kts index 306050a..5563bc6 100644 --- a/settings.gradle.kts +++ b/settings.gradle.kts @@ -14,4 +14,14 @@ rootProject.name = "z3-turnkey" -plugins { id("org.gradle.toolchains.foojay-resolver-convention") version "0.8.0" } +plugins { + id("com.gradle.enterprise") version "3.16.2" + id("org.gradle.toolchains.foojay-resolver-convention") version "0.8.0" +} + +gradleEnterprise { + buildScan { + termsOfServiceUrl = "https://gradle.com/terms-of-service" + termsOfServiceAgree = "yes" + } +}