Skip to content

Actions: kind2-mc/kind2-language-server

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support for checking types, constants, params Java CI with Gradle #34: Pull request #13 opened by Jabe03
25s Jabe03:constant-info
Jabe03:constant-info
25s
Merge pull request #12 from Jabe03/exec-path-error-handling Java CI with Gradle #33: Commit dcce4b1 pushed by daniel-larraz
35s main
main
35s
VS Code path error handling Java CI with Gradle #32: Pull request #12 opened by Jabe03
33s Jabe03:exec-path-error-handling
Jabe03:exec-path-error-handling
33s
kind2-language-server 0.2.3 Publish release #9: Release 0.2.3 created by daniel-larraz
48s
48s
Merge pull request #11 from Jabe03/fix-deadlock-traces Java CI with Gradle #31: Commit 8bd6a27 pushed by daniel-larraz
33s main
main
33s
Fix deadlock traces in VS Code extension Java CI with Gradle #30: Pull request #11 opened by Jabe03
39s Jabe03:fix-deadlock-traces
Jabe03:fix-deadlock-traces
39s
kind2-language-server 0.2.2 Publish release #8: Release 0.2.2 created by daniel-larraz
35s
35s
Bumped Kind 2 Java API version to 0.5.5 Java CI with Gradle #29: Commit 86a1f79 pushed by daniel-larraz
32s main
main
32s
kind2-language-server 0.2.1 Publish release #7: Release 0.2.1 created by daniel-larraz
32s
32s
Bumped Kind 2 Java API version to 0.5.4 Java CI with Gradle #28: Commit 5d243ae pushed by daniel-larraz
27s main
main
27s
Merge pull request #10 from Jabe03/api-fix Java CI with Gradle #27: Commit 946dc52 pushed by daniel-larraz
38s main
main
38s
LSP parse error handling Java CI with Gradle #26: Pull request #10 synchronize by Jabe03
32s Jabe03:api-fix
Jabe03:api-fix
32s
LSP parse error handling Java CI with Gradle #25: Pull request #10 opened by Jabe03
44s Jabe03:api-fix
Jabe03:api-fix
44s
ci: Set Java distribution Java CI with Gradle #24: Commit d04fb2b pushed by daniel-larraz
39s main
main
39s
Bump GitHub action versions Java CI with Gradle #23: Commit 2d19a11 pushed by daniel-larraz
14s main
main
14s
Bump Kind 2 Java API version to 0.5.3 Java CI with Gradle #22: Commit 12028c6 pushed by daniel-larraz
32s main
main
32s
Bump Kind 2 Java API version to 0.5.2 Java CI with Gradle #21: Commit 0c60bd1 pushed by daniel-larraz
31s main
main
31s
Merge pull request #9 from Jabe03/api-fix Java CI with Gradle #20: Commit 9f98b1b pushed by daniel-larraz
29s main
main
29s
Removed call that eventually cause API to crash Java CI with Gradle #19: Pull request #9 opened by Jabe03
38s Jabe03:api-fix
Jabe03:api-fix
38s
kind2-language-server 0.2.0 Publish release #6: Release 0.2.0 created by daniel-larraz
30s
30s
Merge pull request #8 from Jabe03/MCS-IVC Java CI with Gradle #18: Commit 6d704a7 pushed by daniel-larraz
27s main
main
27s
MVS/IVC support Java CI with Gradle #17: Pull request #8 opened by Jabe03
29s Jabe03:MCS-IVC
Jabe03:MCS-IVC
29s
Merge pull request #7 from Jabe03/main Java CI with Gradle #16: Commit 952bde4 pushed by daniel-larraz
27s main
main
27s
Realizability: Conflicting Set added Java CI with Gradle #15: Pull request #7 synchronize by daniel-larraz
27s Jabe03:main
Jabe03:main
27s
Upgrade gradle to v8.14.1 Java CI with Gradle #14: Commit 4ac198b pushed by daniel-larraz
37s main
main
37s