Skip to content
License Check and Multi-Platform Test

Update Z3 to 4.13.0 #132

Sign in to view logs

Update Z3 to 4.13.0

Update Z3 to 4.13.0 #132

Triggered via push April 15, 2024 12:45
@no-preserve-rootno-preserve-root
pushed 4487713
main
Status Success
Total duration 4m 53s
Artifacts 1

test.yml

on: push
Check for modified Gradle
3s
Check for modified Gradle
Build JUnit Test Runner
2m 16s
Build JUnit Test Runner
Run Spotless
46s
Run Spotless
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

2 warnings and 2 notices
Run Spotless
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
Build JUnit Test Runner
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
Run Spotless
Submitted dependency-graph-reports/license_check_and_multi-platform_test-spotless.json: Dependency results for the repo have been successfully updated.
Build JUnit Test Runner
Submitted dependency-graph-reports/license_check_and_multi-platform_test-test-runner.json: Dependency results for the repo have been successfully updated.

Artifacts

Produced during runtime
Name Size
test-runner Expired
45.5 MB