Skip to content
CI/CD

Bump gradle/gradle-build-action from 2 to 3 #41

Sign in to view logs

Bump gradle/gradle-build-action from 2 to 3

Bump gradle/gradle-build-action from 2 to 3 #41

Triggered via push April 24, 2024 11:58
@dependabotdependabot[bot]
pushed e9c2d9b
dependabot/github_actions/gradle/gradle-build-action-3
Status Failure
Total duration 16m 9s
Billable time 22m
Artifacts –

ci.yml

on: push
Gradle Wrapper Validation
7s
Gradle Wrapper Validation
Detekt Analysis
1m 56s
Detekt Analysis
Spotless Style Check
2m 7s
Spotless Style Check
JUnit Tests
15m 43s
JUnit Tests
Fit to window
Zoom out
Zoom in

Annotations

1 error and 30 warnings
JUnit Tests
Gradle build failed: see console output for details
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
This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.
Spotless Style Check
This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.
[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: [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]
JUnit Tests
This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.
[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: [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: [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]