Skip to content

Actions: kind2-mc/kind2-java-api

Actions

Java CI with Gradle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gradle.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update version number Java CI with Gradle #128: Commit 23ed776 pushed by daniel-larraz
June 18, 2024 22:01 46s main
main
June 18, 2024 22:01 46s
Update gradle to v8.8 Java CI with Gradle #127: Commit cc9c1e6 pushed by daniel-larraz
June 18, 2024 21:54 47s main
main
June 18, 2024 21:54 47s
Update version number Java CI with Gradle #126: Commit 451538a pushed by daniel-larraz
June 18, 2024 21:23 40s main
main
June 18, 2024 21:23 40s
Merge pull request #12 from lorchrob/type-decl-flag Java CI with Gradle #125: Commit d1196b1 pushed by daniel-larraz
June 18, 2024 21:21 45s main
main
June 18, 2024 21:21 45s
Add support for lus_main_type flag Java CI with Gradle #124: Pull request #12 opened by lorchrob
June 11, 2024 16:30 42s lorchrob:type-decl-flag
lorchrob:type-decl-flag
June 11, 2024 16:30 42s
Update version number Java CI with Gradle #123: Commit bfee676 pushed by daniel-larraz
May 22, 2024 16:49 43s main
main
May 22, 2024 16:49 43s
Merge pull request #11 from lorchrob/responsive-simulate Java CI with Gradle #122: Commit 60f0c93 pushed by daniel-larraz
May 22, 2024 16:42 45s main
main
May 22, 2024 16:42 45s
Add a version of simulate that processes program as string rather than filename Java CI with Gradle #121: Pull request #11 opened by lorchrob
May 22, 2024 16:35 40s lorchrob:responsive-simulate
lorchrob:responsive-simulate
May 22, 2024 16:35 40s
Update version number Java CI with Gradle #120: Commit 9543bf9 pushed by daniel-larraz
May 6, 2024 21:47 38s main
main
May 6, 2024 21:47 38s
Merge pull request #10 from lorchrob/candidate-props Java CI with Gradle #119: Commit c35ca3d pushed by daniel-larraz
May 6, 2024 18:29 48s main
main
May 6, 2024 18:29 48s
Support candidate property type Java CI with Gradle #118: Pull request #10 synchronize by lorchrob
May 6, 2024 16:16 45s lorchrob:candidate-props
lorchrob:candidate-props
May 6, 2024 16:16 45s
Support candidate property type Java CI with Gradle #117: Pull request #10 synchronize by lorchrob
May 6, 2024 15:52 46s lorchrob:candidate-props
lorchrob:candidate-props
May 6, 2024 15:52 46s
Support candidate property type Java CI with Gradle #116: Pull request #10 synchronize by lorchrob
May 2, 2024 14:35 42s lorchrob:candidate-props
lorchrob:candidate-props
May 2, 2024 14:35 42s
Support candidate property type Java CI with Gradle #115: Pull request #10 opened by lorchrob
May 2, 2024 14:22 41s lorchrob:candidate-props
lorchrob:candidate-props
May 2, 2024 14:22 41s
Update version number Java CI with Gradle #114: Commit 25b7e75 pushed by daniel-larraz
May 1, 2024 15:32 41s main
main
May 1, 2024 15:32 41s
Merge pull request #9 from lorchrob/ref-type-realizability Java CI with Gradle #113: Commit bb6a278 pushed by daniel-larraz
May 1, 2024 14:10 50s main
main
May 1, 2024 14:10 50s
Add support for realizability checks and deadlocking traces Java CI with Gradle #112: Pull request #9 synchronize by lorchrob
April 30, 2024 16:13 46s lorchrob:ref-type-realizability
lorchrob:ref-type-realizability
April 30, 2024 16:13 46s
Add support for realizability checks and deadlocking traces Java CI with Gradle #111: Pull request #9 synchronize by lorchrob
April 30, 2024 15:41 39s lorchrob:ref-type-realizability
lorchrob:ref-type-realizability
April 30, 2024 15:41 39s
Add support for realizability checks and deadlocking traces Java CI with Gradle #110: Pull request #9 opened by lorchrob
April 29, 2024 18:48 41s lorchrob:ref-type-realizability
lorchrob:ref-type-realizability
April 29, 2024 18:48 41s
Add support for realizability checks and deadlocking traces Java CI with Gradle #109: Pull request #8 opened by lorchrob
April 29, 2024 17:35 44s lorchrob:realizability
lorchrob:realizability
April 29, 2024 17:35 44s