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

S/split files ImandraX VSCode Extension CI #282: Pull request #56 synchronize by seprov
June 23, 2025 20:26 31s s/split-files
s/split-files
June 23, 2025 20:26 31s
S/split files ImandraX VSCode Extension CI #281: Pull request #56 synchronize by seprov
June 23, 2025 19:55 24s s/split-files
s/split-files
June 23, 2025 19:55 24s
Add experimental IML formatter ImandraX VSCode Extension CI #280: Pull request #35 synchronize by wintersteiger
June 23, 2025 19:44 35s christoph/iml-formatter
christoph/iml-formatter
June 23, 2025 19:44 35s
S/split files ImandraX VSCode Extension CI #279: Pull request #56 synchronize by seprov
June 23, 2025 18:10 35s s/split-files
s/split-files
June 23, 2025 18:10 35s
S/split files ImandraX VSCode Extension CI #278: Pull request #56 synchronize by seprov
June 23, 2025 18:06 25s s/split-files
s/split-files
June 23, 2025 18:06 25s
S/split files ImandraX VSCode Extension CI #277: Pull request #56 synchronize by seprov
June 23, 2025 18:03 31s s/split-files
s/split-files
June 23, 2025 18:03 31s
S/split files ImandraX VSCode Extension CI #276: Pull request #56 synchronize by seprov
June 23, 2025 17:51 33s s/split-files
s/split-files
June 23, 2025 17:51 33s
S/split files ImandraX VSCode Extension CI #275: Pull request #56 synchronize by seprov
June 23, 2025 17:50 31s s/split-files
s/split-files
June 23, 2025 17:50 31s
Improve debug instructions (#57) ImandraX VSCode Extension CI #274: Commit 4a1b832 pushed by wintersteiger
June 23, 2025 13:31 36s main
main
June 23, 2025 13:31 36s
Improve debug instructions ImandraX VSCode Extension CI #273: Pull request #57 synchronize by wintersteiger
June 23, 2025 12:58 27s christoph/better-debug-section
christoph/better-debug-section
June 23, 2025 12:58 27s
Improve debug instructions ImandraX VSCode Extension CI #272: Pull request #57 opened by wintersteiger
June 23, 2025 12:57 29s christoph/better-debug-section
christoph/better-debug-section
June 23, 2025 12:57 29s
Add experimental IML formatter ImandraX VSCode Extension CI #271: Pull request #35 synchronize by wintersteiger
June 21, 2025 14:08 35s christoph/iml-formatter
christoph/iml-formatter
June 21, 2025 14:08 35s
Add experimental IML formatter ImandraX VSCode Extension CI #270: Pull request #35 synchronize by wintersteiger
June 20, 2025 19:51 37s christoph/iml-formatter
christoph/iml-formatter
June 20, 2025 19:51 37s
S/split files ImandraX VSCode Extension CI #269: Pull request #56 synchronize by seprov
June 20, 2025 17:20 29s s/split-files
s/split-files
June 20, 2025 17:20 29s
S/split files ImandraX VSCode Extension CI #268: Pull request #56 synchronize by seprov
June 20, 2025 17:10 34s s/split-files
s/split-files
June 20, 2025 17:10 34s
S/split files ImandraX VSCode Extension CI #267: Pull request #56 synchronize by seprov
June 18, 2025 19:16 33s s/split-files
s/split-files
June 18, 2025 19:16 33s
S/split files ImandraX VSCode Extension CI #266: Pull request #56 synchronize by seprov
June 18, 2025 19:12 28s s/split-files
s/split-files
June 18, 2025 19:12 28s
S/split files ImandraX VSCode Extension CI #265: Pull request #56 synchronize by seprov
June 18, 2025 19:10 34s s/split-files
s/split-files
June 18, 2025 19:10 34s
S/split files ImandraX VSCode Extension CI #264: Pull request #56 synchronize by seprov
June 18, 2025 19:07 26s s/split-files
s/split-files
June 18, 2025 19:07 26s
S/split files ImandraX VSCode Extension CI #263: Pull request #56 synchronize by seprov
June 18, 2025 18:57 26s s/split-files
s/split-files
June 18, 2025 18:57 26s
S/split files ImandraX VSCode Extension CI #262: Pull request #56 synchronize by seprov
June 18, 2025 18:55 40s s/split-files
s/split-files
June 18, 2025 18:55 40s
S/split files ImandraX VSCode Extension CI #261: Pull request #56 synchronize by seprov
June 18, 2025 18:48 27s s/split-files
s/split-files
June 18, 2025 18:48 27s
S/split files ImandraX VSCode Extension CI #260: Pull request #56 synchronize by seprov
June 18, 2025 18:32 31s s/split-files
s/split-files
June 18, 2025 18:32 31s
S/split files ImandraX VSCode Extension CI #259: Pull request #56 synchronize by seprov
June 18, 2025 17:54 38s s/split-files
s/split-files
June 18, 2025 17:54 38s
S/split files ImandraX VSCode Extension CI #258: Pull request #56 synchronize by seprov
June 18, 2025 17:45 29s s/split-files
s/split-files
June 18, 2025 17:45 29s