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

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
Merge pull request #19 from lorchrob/filter-ai-props Run CI #92: Commit a313009 pushed by daniel-larraz
May 8, 2024 14:45 1m 17s main
main
May 8, 2024 14:45 1m 17s
Filter out candidate properties Run CI #91: Pull request #19 opened by lorchrob
May 8, 2024 14:40 1m 14s lorchrob:filter-ai-props
lorchrob:filter-ai-props
May 8, 2024 14:40 1m 14s
Merge pull request #17 from lorchrob/refinement-types Run CI #90: Commit cb3bdbe pushed by daniel-larraz
May 7, 2024 03:10 1m 22s main
main
May 7, 2024 03:10 1m 22s
Filter properties generated by abstract interpretation (and more accurately/generally, filter all candidate properties) Run CI #89: Pull request #18 opened by lorchrob
May 6, 2024 15:58 1m 16s lorchrob:filter-ai-props
lorchrob:filter-ai-props
May 6, 2024 15:58 1m 16s
Support refinement type syntax highlighting and realizability checks for non-imported nodes Run CI #88: Pull request #17 synchronize by lorchrob
May 1, 2024 14:59 1m 9s lorchrob:refinement-types
lorchrob:refinement-types
May 1, 2024 14:59 1m 9s
Support refinement type syntax highlighting and realizability checks for non-imported nodes Run CI #87: Pull request #17 synchronize by lorchrob
April 30, 2024 16:15 1m 11s lorchrob:refinement-types
lorchrob:refinement-types
April 30, 2024 16:15 1m 11s
Support refinement type syntax highlighting and realizability checks for non-imported nodes Run CI #86: Pull request #17 opened by lorchrob
April 29, 2024 17:36 1m 19s lorchrob:refinement-types
lorchrob:refinement-types
April 29, 2024 17:36 1m 19s
Kind 2 VS Code Extension 0.10.0 Publish release #20: Release v0.10.0 created by daniel-larraz
December 26, 2023 22:47 1m 56s
December 26, 2023 22:47 1m 56s
Bump version to 0.10.0 Run CI #85: Commit 0f2862a pushed by daniel-larraz
December 26, 2023 22:44 1m 22s main
main
December 26, 2023 22:44 1m 22s
Update Kind 2 version Run CI #84: Commit d42c11e pushed by daniel-larraz
December 26, 2023 22:42 1m 20s main
main
December 26, 2023 22:42 1m 20s
Kind 2 VS Code Extension 0.9.0 Publish release #19: Release v0.9.0 created by daniel-larraz
December 6, 2023 20:49 46s
December 6, 2023 20:49 46s
Bump version to 0.9.0 Run CI #83: Commit 28c5927 pushed by daniel-larraz
December 6, 2023 20:45 1m 19s main
main
December 6, 2023 20:45 1m 19s
Update Kind 2 and Z3 versions Run CI #82: Commit 3525a79 pushed by daniel-larraz
December 6, 2023 20:40 1m 20s main
main
December 6, 2023 20:40 1m 20s
Add 'param' keyword Run CI #81: Commit f279fbf pushed by daniel-larraz
November 4, 2023 03:24 1m 8s main
main
November 4, 2023 03:24 1m 8s
Replace 'choose' keyword with 'any' Run CI #80: Commit 8202945 pushed by daniel-larraz
November 4, 2023 03:22 1m 50s main
main
November 4, 2023 03:22 1m 50s