Skip to content

Actions: kind2-mc/kind2-language-server

Actions

Java CI with Gradle

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #6 from lorchrob/type-decl-flag Java CI with Gradle #13: Commit 34829b1 pushed by daniel-larraz
June 19, 2024 08:46 34s main
main
June 19, 2024 08:46 34s
Support lus_main_type flag Java CI with Gradle #12: Pull request #6 synchronize by daniel-larraz
June 19, 2024 08:45 33s lorchrob:type-decl-flag
lorchrob:type-decl-flag
June 19, 2024 08:45 33s
Support lus_main_type flag Java CI with Gradle #11: Pull request #6 opened by lorchrob
June 11, 2024 16:31 35s lorchrob:type-decl-flag
lorchrob:type-decl-flag
June 11, 2024 16:31 35s
Merge pull request #5 from lorchrob/responsive-simulate Java CI with Gradle #10: Commit bce641a pushed by daniel-larraz
May 22, 2024 17:23 38s main
main
May 22, 2024 17:23 38s
Use version of simulation that processes program as string rather than filename Java CI with Gradle #9: Pull request #5 synchronize by daniel-larraz
May 22, 2024 17:20 38s lorchrob:responsive-simulate
lorchrob:responsive-simulate
May 22, 2024 17:20 38s
Use version of simulation that processes program as string rather than filename Java CI with Gradle #8: Pull request #5 opened by lorchrob
May 22, 2024 16:36 33s lorchrob:responsive-simulate
lorchrob:responsive-simulate
May 22, 2024 16:36 33s
Merge pull request #4 from lorchrob/imp-nodes Java CI with Gradle #7: Commit ec148dc pushed by daniel-larraz
May 9, 2024 20:30 41s main
main
May 9, 2024 20:30 41s
Include imported nodes in getComponents Java CI with Gradle #6: Pull request #4 opened by lorchrob
May 9, 2024 17:47 42s lorchrob:imp-nodes
lorchrob:imp-nodes
May 9, 2024 17:47 42s
Merge pull request #3 from lorchrob/realizability Java CI with Gradle #5: Commit 0863b72 pushed by daniel-larraz
May 7, 2024 03:04 35s main
main
May 7, 2024 03:04 35s
Add support for realizability checks and deadlocking traces Java CI with Gradle #4: Pull request #3 synchronize by daniel-larraz
May 7, 2024 03:01 1m 42s lorchrob:realizability
lorchrob:realizability
May 7, 2024 03:01 1m 42s
Add support for realizability checks and deadlocking traces Java CI with Gradle #3: Pull request #3 opened by lorchrob
April 29, 2024 17:36 40s lorchrob:realizability
lorchrob:realizability
April 29, 2024 17:36 40s