Skip to content
CI/CD

Bump io.github.gradle-nexus.publish-plugin from 1.3.0 to 2.0.0 #50

Sign in to view logs

Bump io.github.gradle-nexus.publish-plugin from 1.3.0 to 2.0.0

Bump io.github.gradle-nexus.publish-plugin from 1.3.0 to 2.0.0 #50

Triggered via push April 24, 2024 12:04
@dependabotdependabot[bot]
pushed fd281fb
dependabot/gradle/io.github.gradle-nexus.publish-plugin-2.0.0
Status Failure
Total duration 15m 41s
Billable time 21m
Artifacts –

ci.yml

on: push
Gradle Wrapper Validation
6s
Gradle Wrapper Validation
Detekt Analysis
1m 0s
Detekt Analysis
Spotless Style Check
1m 45s
Spotless Style Check
JUnit Tests
15m 18s
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
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/.
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]
[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]
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/.
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: [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]
[31] /home/runner/work/konstraints/konstraints/build/resources/test/QF_RDL/scheduling/orb01_1100.smt2 (tools.aqua.konstraints.Z3Tests) failed: tools.aqua.konstraints.Z3Tests#L0
build/test-results/test/TEST-tools.aqua.konstraints.Z3Tests.xml [took 1m 0s]
[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]