Skip to content
CI/CD

Bump gradle/wrapper-validation-action from 1 to 3 #43

Sign in to view logs

Bump gradle/wrapper-validation-action from 1 to 3

Bump gradle/wrapper-validation-action from 1 to 3 #43

Triggered via push April 24, 2024 11:58
@dependabotdependabot[bot]
pushed ce6f3cc
dependabot/github_actions/gradle/wrapper-validation-action-3
Status Failure
Total duration 17m 0s
Billable time 24m
Artifacts –

ci.yml

on: push
Gradle Wrapper Validation
4s
Gradle Wrapper Validation
Detekt Analysis
2m 0s
Detekt Analysis
Spotless Style Check
2m 55s
Spotless Style Check
JUnit Tests
16m 35s
JUnit Tests
Fit to window
Zoom out
Zoom in

Annotations

1 error and 34 warnings
JUnit Tests
Gradle build failed: see console output for details
Gradle Wrapper Validation
This job uses deprecated functionality from the 'gradle/wrapper-validation-action' action. Consult the logs for more details.
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/.
1 out of 2 runs failed: [136] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1323.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 5s]
1 out of 2 runs failed: [714] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1299.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 5s]
1 out of 2 runs failed: [754] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_524.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [946] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_928.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1176] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_737.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1347] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1127.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1384] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_625.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1504] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1446.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1548] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1492.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 5s]
1 out of 2 runs failed: [1570] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1458.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
[776] 776 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0
build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 10s]
[68] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/Models/bv-term-small-rw_1105.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0
build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 5s]
[776] 776 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0
build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 10s]
[68] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/Models/bv-term-small-rw_1105.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0
build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 5s]
1 out of 2 runs failed: [136] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1323.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 5s]
1 out of 2 runs failed: [714] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1299.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 5s]
1 out of 2 runs failed: [754] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_524.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [946] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_928.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1122] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_776.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1176] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_737.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1232] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1400.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1307] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1490.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1347] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1127.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1384] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_625.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1421] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1449.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1504] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1446.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
1 out of 2 runs failed: [1548] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1492.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 5s]
1 out of 2 runs failed: [1570] /home/runner/work/konstraints/konstraints/build/resources/test/QF_BV/20190311-bv-term-small-rw-Noetzli/bv-term-small-rw_1458.smt2 (tools.aqua.konstraints.SMTProgramTests): tools.aqua.konstraints.SMTProgramTests#L0
build/test-results/test/TEST-tools.aqua.konstraints.SMTProgramTests.xml [took 1s]
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/.
JUnit Tests
Failed to download action 'https://api.github.com/repos/actions/setup-java/tarball/99b8673ff64fbf99d8d325f52d9a5bdedb8483e9'. Error: Response status code does not indicate success: 500 (Internal Server Error).
JUnit Tests
Back off 29.696 seconds before retry.