Skip to content

Commit

Permalink
Enable build scan and dependency graph support
Browse files Browse the repository at this point in the history
  • Loading branch information
no-preserve-root committed Feb 11, 2024
1 parent 281d7e9 commit 40932e9
Show file tree
Hide file tree
Showing 2 changed files with 19 additions and 3 deletions.
10 changes: 8 additions & 2 deletions .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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
Expand Down Expand Up @@ -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'
report_paths: 'test-results/*.xml'
12 changes: 11 additions & 1 deletion settings.gradle.kts
Original file line number Diff line number Diff line change
Expand Up @@ -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"
}
}

0 comments on commit 40932e9

Please sign in to comment.