Skip to content
Java CI with Gradle

Add support for reading results incrementally #172

Sign in to view logs

Add support for reading results incrementally

Add support for reading results incrementally #172

Triggered via pull request July 22, 2026 19:16
@Jabe03Jabe03
synchronize #23
Jabe03:incremental
Status Success
Total duration 1m 2s
Artifacts 1

gradle.yml

on: pull_request
build
56s
build
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build: src/main/java/edu/uiowa/cs/clc/kind2/results/Result.java#L612
no description for @PARAM
build: src/main/java/edu/uiowa/cs/clc/kind2/results/Result.java#L603
no description for @PARAM
build: src/main/java/edu/uiowa/cs/clc/kind2/results/Result.java#L587
no description for @PARAM
build: src/main/java/edu/uiowa/cs/clc/kind2/results/Result.java#L570
no description for @PARAM
build: src/main/java/edu/uiowa/cs/clc/kind2/results/NodeResult.java#L68
no description for @PARAM
build: src/main/java/edu/uiowa/cs/clc/kind2/results/Node.java#L60
build: src/main/java/edu/uiowa/cs/clc/kind2/results/Analysis.java#L129
no description for @PARAM
build: src/main/java/edu/uiowa/cs/clc/kind2/util/Util.java#L60
build: src/main/java/edu/uiowa/cs/clc/kind2/util/Util.java#L60
no @PARAM for b
build: src/main/java/edu/uiowa/cs/clc/kind2/util/Util.java#L60
no @PARAM for a

Artifacts

Produced during runtime
Name Size Digest
artifact
493 KB
sha256:37b051561bce7a5df8fbafb0c8642f28d837ef17bf9d9745d2179814c69ba7ea