Skip to content

Actions: kind2-mc/kind2-language-server

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

kind2-language-server 0.1.10 Publish release #5: Release 0.1.10 created by daniel-larraz
June 19, 2024 08:51 39s
June 19, 2024 08:51 39s
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
kind2-language-server 0.1.9 Publish release #4: Release 0.1.9 created by daniel-larraz
May 22, 2024 17:24 37s
May 22, 2024 17:24 37s
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
kind2-language-server 0.1.8 Publish release #3: Release 0.1.8 created by daniel-larraz
May 9, 2024 20:32 45s
May 9, 2024 20:32 45s
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
kind2-language-server 0.1.7 Publish release #2: Release 0.1.7 created by daniel-larraz
May 7, 2024 03:06 37s
May 7, 2024 03:06 37s
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
kind2-language-server 0.1.6 Publish release #1: Release 0.1.6 created by daniel-larraz
July 20, 2023 15:47 37s
July 20, 2023 15:47 37s
Remove dump_cex option Java CI with Gradle #2: Commit 1dd17b8 pushed by daniel-larraz
July 20, 2023 15:46 38s main
main
July 20, 2023 15:46 38s