Skip to content

Bump tools.aqua:z3-turnkey from 4.12.2.1 to 4.13.0 #59

Bump tools.aqua:z3-turnkey from 4.12.2.1 to 4.13.0

Bump tools.aqua:z3-turnkey from 4.12.2.1 to 4.13.0 #59

Triggered via pull request April 25, 2024 09:04
Status Success
Total duration 4m 47s
Artifacts

ci.yml

on: pull_request
Gradle Wrapper Validation
5s
Gradle Wrapper Validation
Detekt Analysis
36s
Detekt Analysis
Spotless Style Check
54s
Spotless Style Check
JUnit Tests
4m 28s
JUnit Tests
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Gradle Wrapper Validation
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: gradle/wrapper-validation-action@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Detekt Analysis
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: gradle/gradle-build-action@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Spotless Style Check
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: gradle/gradle-build-action@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
JUnit Tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: gradle/gradle-build-action@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.