Skip to content
Publish package to the Maven Central Repository and GitHub Packages

kind2-java-api 0.8.0 #28

Sign in to view logs

kind2-java-api 0.8.0

kind2-java-api 0.8.0 #28

Triggered via release July 24, 2026 20:35
@daniel-larrazdaniel-larraz
created 0.8.0
Status Success
Total duration 10m 6s
Artifacts –

gradle-publish.yml

on: release
publish
10m 3s
publish
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
publish: src/main/java/edu/uiowa/cs/clc/kind2/results/Result.java#L615
no description for @PARAM
publish: src/main/java/edu/uiowa/cs/clc/kind2/results/Result.java#L606
no description for @PARAM
publish: src/main/java/edu/uiowa/cs/clc/kind2/results/Result.java#L590
no description for @PARAM
publish: src/main/java/edu/uiowa/cs/clc/kind2/results/Result.java#L573
no description for @PARAM
publish: src/main/java/edu/uiowa/cs/clc/kind2/results/NodeResult.java#L68
no description for @PARAM
publish: src/main/java/edu/uiowa/cs/clc/kind2/results/Node.java#L60
publish: src/main/java/edu/uiowa/cs/clc/kind2/results/Analysis.java#L129
no description for @PARAM
publish: src/main/java/edu/uiowa/cs/clc/kind2/util/Util.java#L60
publish: src/main/java/edu/uiowa/cs/clc/kind2/util/Util.java#L60
no @PARAM for b
publish: src/main/java/edu/uiowa/cs/clc/kind2/util/Util.java#L60
no @PARAM for a