Skip to content

Actions: imandra-ai/imandrax-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
306 workflow runs
306 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add option to show/hide proven goals in goal state ImandraX VSCode Extension CI #82: Pull request #24 opened by wintersteiger
November 11, 2024 13:46 38s christoph/proven-goal-state-opt
christoph/proven-goal-state-opt
November 11, 2024 13:46 38s
Add interactive goal state on VFS (#23) ImandraX VSCode Extension CI #81: Commit 069cb32 pushed by wintersteiger
November 9, 2024 17:48 46s main
main
November 9, 2024 17:48 46s
Add interactive goal state on VFS ImandraX VSCode Extension CI #80: Pull request #23 synchronize by wintersteiger
November 9, 2024 17:40 41s christoph/interactive-goal-state
christoph/interactive-goal-state
November 9, 2024 17:40 41s
Add interactive goal state on VFS ImandraX VSCode Extension CI #79: Pull request #23 opened by wintersteiger
November 9, 2024 17:30 33s christoph/interactive-goal-state
christoph/interactive-goal-state
November 9, 2024 17:30 33s
Add active-document notifications (#22) ImandraX VSCode Extension CI #78: Commit dd7ab5c pushed by wintersteiger
September 18, 2024 10:40 1m 4s main
main
September 18, 2024 10:40 1m 4s
Add active-document notifications ImandraX VSCode Extension CI #77: Pull request #22 synchronize by wintersteiger
September 6, 2024 19:01 40s christoph/active-docs
christoph/active-docs
September 6, 2024 19:01 40s
Add active-document notifications ImandraX VSCode Extension CI #76: Pull request #22 opened by wintersteiger
September 5, 2024 18:52 36s christoph/active-docs
christoph/active-docs
September 5, 2024 18:52 36s
Optional task stats (#21) ImandraX VSCode Extension CI #75: Commit a12c891 pushed by wintersteiger
August 20, 2024 13:56 53s main
main
August 20, 2024 13:56 53s
Optional task stats ImandraX VSCode Extension CI #74: Pull request #21 opened by wintersteiger
August 20, 2024 11:18 38s christoph/no-progress-errors
christoph/no-progress-errors
August 20, 2024 11:18 38s
Whole-file progress indicator (#19) ImandraX VSCode Extension CI #73: Commit b5690c0 pushed by wintersteiger
August 19, 2024 18:03 1m 8s main
main
August 19, 2024 18:03 1m 8s
Whole-file progress indicator ImandraX VSCode Extension CI #72: Pull request #19 synchronize by wintersteiger
August 19, 2024 17:32 37s christoph/whole-file-progress
christoph/whole-file-progress
August 19, 2024 17:32 37s
Whole-file progress indicator ImandraX VSCode Extension CI #71: Pull request #19 synchronize by wintersteiger
August 19, 2024 13:09 44s christoph/whole-file-progress
christoph/whole-file-progress
August 19, 2024 13:09 44s
Whole-file progress indicator ImandraX VSCode Extension CI #70: Pull request #19 synchronize by wintersteiger
August 16, 2024 18:29 37s christoph/whole-file-progress
christoph/whole-file-progress
August 16, 2024 18:29 37s
Whole-file progress indicator ImandraX VSCode Extension CI #69: Pull request #19 synchronize by wintersteiger
August 14, 2024 16:09 36s christoph/whole-file-progress
christoph/whole-file-progress
August 14, 2024 16:09 36s
Improve LSP shutdown behaviour (#20) ImandraX VSCode Extension CI #68: Commit 027804b pushed by wintersteiger
August 14, 2024 16:07 49s main
main
August 14, 2024 16:07 49s
Improve LSP shutdown behaviour ImandraX VSCode Extension CI #67: Pull request #20 synchronize by wintersteiger
August 14, 2024 15:54 36s christoph/graceful-shutdown
christoph/graceful-shutdown
August 14, 2024 15:54 36s
Improve LSP shutdown behaviour ImandraX VSCode Extension CI #66: Pull request #20 opened by wintersteiger
August 14, 2024 15:50 36s christoph/graceful-shutdown
christoph/graceful-shutdown
August 14, 2024 15:50 36s
Whole-file progress indicator ImandraX VSCode Extension CI #65: Pull request #19 opened by wintersteiger
August 12, 2024 17:35 41s christoph/whole-file-progress
christoph/whole-file-progress
August 12, 2024 17:35 41s
Add codelens command to copy models (#18) ImandraX VSCode Extension CI #64: Commit f08318f pushed by wintersteiger
August 12, 2024 17:33 1m 1s main
main
August 12, 2024 17:33 1m 1s
Add codelens command to copy models ImandraX VSCode Extension CI #63: Pull request #18 opened by wintersteiger
August 7, 2024 17:01 43s christoph/copy-model-cmd
christoph/copy-model-cmd
August 7, 2024 17:01 43s
Add gutter icons (#17) ImandraX VSCode Extension CI #62: Commit 48d1cb5 pushed by wintersteiger
July 31, 2024 15:30 52s main
main
July 31, 2024 15:30 52s
Add gutter icons ImandraX VSCode Extension CI #61: Pull request #17 synchronize by wintersteiger
July 25, 2024 17:13 38s christoph/gutter-icons
christoph/gutter-icons
July 25, 2024 17:13 38s
Add gutter icons ImandraX VSCode Extension CI #60: Pull request #17 synchronize by wintersteiger
July 25, 2024 17:03 39s christoph/gutter-icons
christoph/gutter-icons
July 25, 2024 17:03 39s
Add gutter icons ImandraX VSCode Extension CI #59: Pull request #17 opened by wintersteiger
July 25, 2024 16:38 37s christoph/gutter-icons
christoph/gutter-icons
July 25, 2024 16:38 37s
Ensure config is re-read when restarting the LSP (#16) ImandraX VSCode Extension CI #58: Commit 365162b pushed by wintersteiger
July 22, 2024 13:04 48s main
main
July 22, 2024 13:04 48s
ProTip! You can narrow down the results and go further in time using created:<2024-07-22 or the other filters available.