Skip to content
CI/CD

Bump tools.aqua:z3-turnkey from 4.12.2.1 to 4.13.0 (#10) #71

Sign in to view logs

Bump tools.aqua:z3-turnkey from 4.12.2.1 to 4.13.0 (#10)

Bump tools.aqua:z3-turnkey from 4.12.2.1 to 4.13.0 (#10) #71

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Gradle Wrapper Validation
7s
Spotless Style Check
1m 13s
Detekt Analysis
1m 2s
JUnit Tests
4m 34s
6m 56s