Skip to content

Actions: kind2-mc/kind2-java-api

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
kind2-java-api 0.6.0 Publish package to the Maven Central Repository and GitHub Packages #26: Release 0.6.0 created by daniel-larraz
9m 4s
9m 4s
Bump to 0.6.0 Java CI with Gradle #163: Commit e279241 pushed by daniel-larraz
57s main
main
57s
ci: Bump GH action versions for Node.js 24 compatibility Java CI with Gradle #162: Commit 7acc270 pushed by daniel-larraz
1m 2s main
main
1m 2s
Array counter examples (#21) Java CI with Gradle #161: Commit f3dc5db pushed by daniel-larraz
56s main
main
56s
Array counter examples Java CI with Gradle #160: Pull request #21 synchronize by Jabe03
58s Jabe03:array-counter-examples
Jabe03:array-counter-examples
58s
Array counter examples Java CI with Gradle #159: Pull request #21 opened by Jabe03
54s Jabe03:array-counter-examples
Jabe03:array-counter-examples
54s
Constant checking and param support (#20) Java CI with Gradle #158: Commit 0d78aeb pushed by daniel-larraz
1m 16s main
main
1m 16s
Constant checking and param support Java CI with Gradle #157: Pull request #20 synchronize by Jabe03
55s Jabe03:lusMainConst
Jabe03:lusMainConst
55s
Constant checking and param support Java CI with Gradle #156: Pull request #20 opened by Jabe03
1m 1s Jabe03:lusMainConst
Jabe03:lusMainConst
1m 1s
Add noModelElementSet value to enum (#19) Java CI with Gradle #155: Commit 2d73bcb pushed by daniel-larraz
56s main
main
56s
Fix noModelElementSet errors Java CI with Gradle #154: Pull request #19 opened by Jabe03
1m 7s Jabe03:noModelEleemntSet-fix
Jabe03:noModelEleemntSet-fix
1m 7s
kind2-java-api 0.5.5 Publish package to the Maven Central Repository and GitHub Packages #25: Release 0.5.5 created by daniel-larraz
35m 59s
35m 59s
Bump to 0.5.5 Java CI with Gradle #153: Commit 20a10dd pushed by daniel-larraz
1m 1s main
main
1m 1s
Type parsing workaround (#18) Java CI with Gradle #152: Commit b0d5639 pushed by daniel-larraz
1m 1s main
main
1m 1s
Type parsing workaround Java CI with Gradle #151: Pull request #18 opened by lorchrob
1m 4s lorchrob:type-parsing-workaround
lorchrob:type-parsing-workaround
1m 4s
IVC and MCS bugs (#17) Java CI with Gradle #150: Commit ea78522 pushed by daniel-larraz
1m 11s main
main
1m 11s
IVC and MCS bugs Java CI with Gradle #149: Pull request #17 opened by Jabe03
57s Jabe03:ivc-mcs-bugs
Jabe03:ivc-mcs-bugs
57s
kind2-java-api 0.5.4 Publish package to the Maven Central Repository and GitHub Packages #24: Release 0.5.4 created by daniel-larraz
9m 5s
9m 5s
Bump to 0.5.4 Java CI with Gradle #148: Commit 5b34578 pushed by daniel-larraz
54s main
main
54s
Parsing exception fix (#16) Java CI with Gradle #147: Commit 12618ef pushed by daniel-larraz
1m 5s main
main
1m 5s
Parsing exception fix Java CI with Gradle #146: Pull request #16 opened by Jabe03
1m 10s Jabe03:alternate-parsing-exception-fix
Jabe03:alternate-parsing-exception-fix
1m 10s
Simplified error handling when calling Kind 2 Java CI with Gradle #145: Pull request #15 opened by Jabe03
1m 2s Jabe03:parsing-exception-fix
Jabe03:parsing-exception-fix
1m 2s
kind2-java-api 0.5.3 Publish package to the Maven Central Repository and GitHub Packages #23: Release 0.5.3 created by daniel-larraz
7m 3s
7m 3s
Bump to 0.5.3 Java CI with Gradle #144: Commit 6d5cf57 pushed by daniel-larraz
1m 4s main
main
1m 4s
Downgrade to Java 8 Java CI with Gradle #143: Commit ea149c2 pushed by daniel-larraz
1m 20s main
main
1m 20s