Skip to content

Actions: kind2-mc/kind2-java-api

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 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.9.0 Publish package to the Maven Central Repository and GitHub Packages #29: Release 0.9.0 created by daniel-larraz
17m 31s
17m 31s
Bump to 0.9.0 Java CI with Gradle #186: Commit 4a2fa16 pushed by daniel-larraz
1m 9s main
main
1m 9s
Use a Windows-compatible method of retrieving filepaths from interpre… Java CI with Gradle #185: Commit fda52e4 pushed by daniel-larraz
1m 2s main
main
1m 2s
Use a Windows-compatible method of retrieving filepaths from interpre… Java CI with Gradle #184: Pull request #24 synchronize by daniel-larraz
58s Jabe03:windows-compatibility
Jabe03:windows-compatibility
58s
Use a Windows-compatible method of retrieving filepaths from interpre… Java CI with Gradle #183: Pull request #24 synchronize by Jabe03
59s Jabe03:windows-compatibility
Jabe03:windows-compatibility
59s
Use a Windows-compatible method of retrieving filepaths from interpre… Java CI with Gradle #182: Pull request #24 opened by Jabe03
1m 16s Jabe03:windows-compatibility
Jabe03:windows-compatibility
1m 16s
Fix doclintCheck failing the build on Java 8 Java CI with Gradle #181: Commit a8e94cf pushed by daniel-larraz
1m 3s main
main
1m 3s
Document the public API and enforce javadoc doclint Java CI with Gradle #180: Commit a643b91 pushed by daniel-larraz
1m 15s main
main
1m 15s
Fix Java compiler warnings Java CI with Gradle #179: Commit 362c470 pushed by daniel-larraz
1m 1s main
main
1m 1s
kind2-java-api 0.8.0 Publish package to the Maven Central Repository and GitHub Packages #28: Release 0.8.0 created by daniel-larraz
10m 6s
10m 6s
Bump to 0.8.0 Java CI with Gradle #178: Commit 726cbce pushed by daniel-larraz
1m 1s main
main
1m 1s
Add support for reading results incrementally (#23) Java CI with Gradle #177: Commit 2d7e50d pushed by daniel-larraz
1m 1s main
main
1m 1s
Add support for reading results incrementally Java CI with Gradle #176: Pull request #23 synchronize by Jabe03
1m 10s Jabe03:incremental
Jabe03:incremental
1m 10s
Add support for reading results incrementally Java CI with Gradle #175: Pull request #23 synchronize by Jabe03
58s Jabe03:incremental
Jabe03:incremental
58s
Add support for reading results incrementally Java CI with Gradle #174: Pull request #23 synchronize by Jabe03
1m 12s Jabe03:incremental
Jabe03:incremental
1m 12s
Add support for reading results incrementally Java CI with Gradle #173: Pull request #23 synchronize by Jabe03
4m 42s Jabe03:incremental
Jabe03:incremental
4m 42s
Add support for reading results incrementally Java CI with Gradle #172: Pull request #23 synchronize by Jabe03
1m 2s Jabe03:incremental
Jabe03:incremental
1m 2s
Add support for reading results incrementally Java CI with Gradle #171: Pull request #23 synchronize by Jabe03
55s Jabe03:incremental
Jabe03:incremental
55s
Add support for reading results incrementally Java CI with Gradle #170: Pull request #23 synchronize by Jabe03
55s Jabe03:incremental
Jabe03:incremental
55s
Running Copilot Code Review Copilot #1: by Copilot AI
6m 15s main
main
6m 15s
Add support for reading results incrementally Java CI with Gradle #169: Pull request #23 synchronize by Jabe03
1m 1s Jabe03:incremental
Jabe03:incremental
1m 1s
Add support for reading results incrementally Java CI with Gradle #168: Pull request #23 opened by Jabe03
1m 2s Jabe03:incremental
Jabe03:incremental
1m 2s
kind2-java-api 0.7.0 Publish package to the Maven Central Repository and GitHub Packages #27: Release 0.7.0 created by daniel-larraz
9m 46s
9m 46s
Bump to 0.7.0 Java CI with Gradle #167: Commit 92fd50f pushed by daniel-larraz
58s main
main
58s
Lemma support (#22) Java CI with Gradle #166: Commit 74e5a08 pushed by daniel-larraz
1m 5s main
main
1m 5s