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

Ensure config is re-read when restarting the LSP ImandraX VSCode Extension CI #57: Pull request #16 synchronize by wintersteiger
July 22, 2024 13:03 34s christoph/restart-config
christoph/restart-config
July 22, 2024 13:03 34s
Add option to use built-in browser (#15) ImandraX VSCode Extension CI #56: Commit de064de pushed by wintersteiger
July 22, 2024 13:03 52s main
main
July 22, 2024 13:03 52s
Add option to use built-in browser ImandraX VSCode Extension CI #55: Pull request #15 synchronize by wintersteiger
July 22, 2024 13:00 42s christoph/simple-browser
christoph/simple-browser
July 22, 2024 13:00 42s
Add command to open VFS files ImandraX VSCode Extension CI #54: Commit 698b253 pushed by wintersteiger
July 22, 2024 12:57 59s main
main
July 22, 2024 12:57 59s
Ensure config is re-read when restarting the LSP ImandraX VSCode Extension CI #53: Pull request #16 opened by wintersteiger
July 22, 2024 12:54 38s christoph/restart-config
christoph/restart-config
July 22, 2024 12:54 38s
Add option to use built-in browser ImandraX VSCode Extension CI #52: Pull request #15 opened by wintersteiger
July 22, 2024 11:27 41s christoph/simple-browser
christoph/simple-browser
July 22, 2024 11:27 41s
ProTip! You can narrow down the results and go further in time using created:<2024-07-22 or the other filters available.