Skip to content

Actions: kind2-mc/vscode-kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #25 from lorchrob/polymorphism Run CI #115: Commit 336ed06 pushed by daniel-larraz
August 1, 2024 12:53 1m 14s main
main
August 1, 2024 12:53 1m 14s
Polymorphism Run CI #114: Pull request #25 opened by lorchrob
July 31, 2024 15:00 1m 17s lorchrob:polymorphism
lorchrob:polymorphism
July 31, 2024 15:00 1m 17s
Merge pull request #24 from lorchrob/type-decl-buttons Run CI #113: Commit 92e7b6b pushed by daniel-larraz
June 19, 2024 08:59 1m 20s main
main
June 19, 2024 08:59 1m 20s
Bump language-server version Run CI #112: Commit ea0f8e1 pushed by daniel-larraz
June 19, 2024 08:56 1m 17s main
main
June 19, 2024 08:56 1m 17s
Update buttons for type decls Run CI #111: Pull request #24 opened by lorchrob
June 11, 2024 16:33 1m 34s lorchrob:type-decl-buttons
lorchrob:type-decl-buttons
June 11, 2024 16:33 1m 34s
Kind 2 VS Code Extension 0.11.1 Publish release #22: Release v0.11.1 created by daniel-larraz
May 23, 2024 18:42 1m 51s
May 23, 2024 18:42 1m 51s
Bump version to 0.11.1 Run CI #110: Commit 1a99d17 pushed by daniel-larraz
May 23, 2024 18:39 1m 21s main
main
May 23, 2024 18:39 1m 21s
Update CHANGELOG.md Run CI #109: Commit 031b0ae pushed by daniel-larraz
May 23, 2024 18:37 1m 11s main
main
May 23, 2024 18:37 1m 11s
Merge pull request #22 from lorchrob/interpreter Run CI #108: Commit b74668a pushed by daniel-larraz
May 23, 2024 17:33 1m 3s main
main
May 23, 2024 17:33 1m 3s
Simulator updates: Change default number of columns, and decrease font size of node names Run CI #107: Pull request #22 opened by lorchrob
May 23, 2024 17:29 1m 9s lorchrob:interpreter
lorchrob:interpreter
May 23, 2024 17:29 1m 9s
Bump GH action version Run CI #106: Commit 06e871e pushed by daniel-larraz
May 23, 2024 17:27 1m 9s main
main
May 23, 2024 17:27 1m 9s
Kind 2 VS Code Extension 0.11.0 Publish release #21: Release v0.11.0 created by daniel-larraz
May 23, 2024 16:49 1m 34s
May 23, 2024 16:49 1m 34s
Bump version to 0.11.0 Run CI #105: Commit 22a9fcc pushed by daniel-larraz
May 23, 2024 16:46 1m 16s main
main
May 23, 2024 16:46 1m 16s
Update CHANGELOG.md Run CI #104: Commit 86b8ab2 pushed by daniel-larraz
May 23, 2024 16:44 1m 27s main
main
May 23, 2024 16:44 1m 27s
Add linux-arm64 Run CI #103: Commit 570d4cf pushed by daniel-larraz
May 23, 2024 16:34 1m 3s main
main
May 23, 2024 16:34 1m 3s
Add linux-arm64 Run CI #102: Commit 91a1f60 pushed by daniel-larraz
May 23, 2024 02:51 1m 6s main
main
May 23, 2024 02:51 1m 6s
Update Kind 2 version Run CI #101: Commit dabccc2 pushed by daniel-larraz
May 23, 2024 02:42 1m 15s main
main
May 23, 2024 02:42 1m 15s
Bump language-server version Run CI #100: Commit c9ccfdd pushed by daniel-larraz
May 22, 2024 17:27 1m 4s main
main
May 22, 2024 17:27 1m 4s
Merge pull request #21 from lorchrob/result-icons Run CI #99: Commit 9e2e9d3 pushed by daniel-larraz
May 22, 2024 17:26 1m 13s main
main
May 22, 2024 17:26 1m 13s
Updates to result icons Run CI #98: Pull request #21 opened by lorchrob
May 22, 2024 16:29 1m 23s lorchrob:result-icons
lorchrob:result-icons
May 22, 2024 16:29 1m 23s
Bump language-server version Run CI #97: Commit bbd1441 pushed by daniel-larraz
May 9, 2024 20:35 1m 7s main
main
May 9, 2024 20:35 1m 7s
Merge pull request #20 from lorchrob/imp-node-buttons Run CI #96: Commit dc06103 pushed by daniel-larraz
May 9, 2024 20:33 1m 6s main
main
May 9, 2024 20:33 1m 6s
Display the correct buttons for imported nodes Run CI #95: Pull request #20 opened by lorchrob
May 9, 2024 17:48 1m 7s lorchrob:imp-node-buttons
lorchrob:imp-node-buttons
May 9, 2024 17:48 1m 7s
Bump GH action versions Run CI #94: Commit c10c665 pushed by daniel-larraz
May 9, 2024 03:41 1m 4s main
main
May 9, 2024 03:41 1m 4s
Bump language-server and z3 versions Run CI #93: Commit 25dbabb pushed by daniel-larraz
May 9, 2024 03:35 1m 9s main
main
May 9, 2024 03:35 1m 9s