Skip to content
Java CI with Gradle

Handle wrong verdicts for known SV-COMP targets #124

Sign in to view logs

Handle wrong verdicts for known SV-COMP targets

Handle wrong verdicts for known SV-COMP targets #124

Triggered via pull request July 16, 2026 18:35
@k0ljak0lja
opened #41
issue/wrong-verdict-albers-pie-segment
Status Success
Total duration 3m 24s
Artifacts 1

gradle.yml

on: pull_request
build
1m 24s
build
dependency-submission
dependency-submission
package
45s
package
test
1m 54s
test
javadoc
0s
javadoc
publish-release
0s
publish-release
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/setup-java@v4, actions/upload-artifact@v4, gradle/actions/setup-gradle@017a9effdb900e5b5b2fddfb590a105619dca3c3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
package
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/setup-java@v4, gradle/actions/setup-gradle@017a9effdb900e5b5b2fddfb590a105619dca3c3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
swat-svcomp-f98d189
141 MB
sha256:a565ab6d22ea692de78aa223085f1b4e4d4ad98c3caa728c0284b8ba217c1746