Skip to content

Actions: kind2-mc/vscode-kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #26 from daniel-larraz/fix-param Run CI #120: Commit b2a6ef6 pushed by daniel-larraz
December 13, 2024 04:57 1m 9s main
main
December 13, 2024 04:57 1m 9s
Fix patterns for 'param' Run CI #119: Pull request #26 opened by daniel-larraz
December 13, 2024 04:55 1m 8s daniel-larraz:fix-param
daniel-larraz:fix-param
December 13, 2024 04:55 1m 8s
Run CI on all branches Run CI #118: Commit 77e2556 pushed by daniel-larraz
December 13, 2024 04:48 1m 16s main
main
December 13, 2024 04:48 1m 16s
Fix patterns for 'opaque' and 'transparent' modifiers Run CI #117: Commit 40869b1 pushed by daniel-larraz
December 12, 2024 17:13 1m 24s main
main
December 12, 2024 17:13 1m 24s
Add 'opaque' and 'transparent' keywords Run CI #116: Commit 60cb779 pushed by daniel-larraz
December 12, 2024 14:51 1m 10s main
main
December 12, 2024 14:51 1m 10s
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