Skip to content

Actions: imandra-ai/imandrax-vscode

Actions

ImandraX VSCode Extension CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
306 workflow runs
306 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix test scripts ImandraX VSCode Extension CI #357: Pull request #69 synchronize by wintersteiger
August 21, 2025 19:28 1m 47s christoph/fix-test-scripts
christoph/fix-test-scripts
August 21, 2025 19:28 1m 47s
Fix test scripts ImandraX VSCode Extension CI #356: Pull request #69 synchronize by wintersteiger
August 21, 2025 19:26 1m 20s christoph/fix-test-scripts
christoph/fix-test-scripts
August 21, 2025 19:26 1m 20s
Fix test scripts ImandraX VSCode Extension CI #355: Pull request #69 opened by wintersteiger
August 21, 2025 19:12 1m 17s christoph/fix-test-scripts
christoph/fix-test-scripts
August 21, 2025 19:12 1m 17s
Various fixes for the IML formatter ImandraX VSCode Extension CI #354: Pull request #68 synchronize by wintersteiger
August 21, 2025 17:48 1m 19s christoph/iml-formatter-fixes
christoph/iml-formatter-fixes
August 21, 2025 17:48 1m 19s
Various fixes for the IML formatter ImandraX VSCode Extension CI #353: Pull request #68 synchronize by wintersteiger
August 21, 2025 17:04 15m 3s christoph/iml-formatter-fixes
christoph/iml-formatter-fixes
August 21, 2025 17:04 15m 3s
Various fixes for the IML formatter ImandraX VSCode Extension CI #352: Pull request #68 opened by wintersteiger
August 21, 2025 16:55 51s christoph/iml-formatter-fixes
christoph/iml-formatter-fixes
August 21, 2025 16:55 51s
Merge pull request #66 from imandra-ai/eric/update-imandrax-installer… ImandraX VSCode Extension CI #351: Commit f9125de pushed by emeinhardt
August 18, 2025 16:48 1m 35s main
main
August 18, 2025 16:48 1m 35s
Update imandrax installer to point to gcloud bucket ImandraX VSCode Extension CI #350: Pull request #66 synchronize by emeinhardt
August 15, 2025 19:38 1m 28s eric/update-imandrax-installer-url
eric/update-imandrax-installer-url
August 15, 2025 19:38 1m 28s
Update imandrax installer to point to gcloud bucket ImandraX VSCode Extension CI #349: Pull request #66 opened by emeinhardt
July 30, 2025 16:50 1m 24s eric/update-imandrax-installer-url
eric/update-imandrax-installer-url
July 30, 2025 16:50 1m 24s
Fix automatic restart of language server upon changes in configuratio… ImandraX VSCode Extension CI #348: Commit 7364e91 pushed by wintersteiger
July 18, 2025 15:31 1m 35s main
main
July 18, 2025 15:31 1m 35s
Fix automatic restart of language server upon changes in configuration ImandraX VSCode Extension CI #347: Pull request #63 synchronize by wintersteiger
July 18, 2025 15:29 1m 25s christoph/fix-server-restart
christoph/fix-server-restart
July 18, 2025 15:29 1m 25s
Fix automatic restart of language server upon changes in configuration ImandraX VSCode Extension CI #346: Pull request #63 synchronize by seprov
July 17, 2025 15:04 1m 22s christoph/fix-server-restart
christoph/fix-server-restart
July 17, 2025 15:04 1m 22s
OO stuff ImandraX VSCode Extension CI #345: Pull request #64 synchronize by seprov
July 17, 2025 15:03 1m 20s s/sugg
s/sugg
July 17, 2025 15:03 1m 20s
OO stuff ImandraX VSCode Extension CI #344: Pull request #64 synchronize by seprov
July 17, 2025 15:02 1m 20s s/sugg
s/sugg
July 17, 2025 15:02 1m 20s
OO stuff ImandraX VSCode Extension CI #343: Pull request #64 synchronize by seprov
July 17, 2025 14:57 1m 18s s/sugg
s/sugg
July 17, 2025 14:57 1m 18s
OO stuff ImandraX VSCode Extension CI #342: Pull request #64 opened by seprov
July 17, 2025 14:42 1m 6s s/sugg
s/sugg
July 17, 2025 14:42 1m 6s
Fix automatic restart of language server upon changes in configuration ImandraX VSCode Extension CI #341: Pull request #63 synchronize by wintersteiger
July 17, 2025 14:04 1m 19s christoph/fix-server-restart
christoph/fix-server-restart
July 17, 2025 14:04 1m 19s
Fix automatic restart of language server upon changes in configuration ImandraX VSCode Extension CI #340: Pull request #63 opened by wintersteiger
July 17, 2025 13:15 1m 22s christoph/fix-server-restart
christoph/fix-server-restart
July 17, 2025 13:15 1m 22s
Add experimental IML formatter (#35) ImandraX VSCode Extension CI #339: Commit 6dba5d5 pushed by wintersteiger
June 25, 2025 21:25 1m 53s main
main
June 25, 2025 21:25 1m 53s
Add experimental IML formatter ImandraX VSCode Extension CI #338: Pull request #35 synchronize by wintersteiger
June 25, 2025 20:52 1m 51s christoph/iml-formatter
christoph/iml-formatter
June 25, 2025 20:52 1m 51s
Add experimental IML formatter ImandraX VSCode Extension CI #337: Pull request #35 synchronize by wintersteiger
June 25, 2025 13:01 1m 47s christoph/iml-formatter
christoph/iml-formatter
June 25, 2025 13:01 1m 47s
Add experimental IML formatter ImandraX VSCode Extension CI #336: Pull request #35 synchronize by wintersteiger
June 24, 2025 22:30 4m 6s christoph/iml-formatter
christoph/iml-formatter
June 24, 2025 22:30 4m 6s
Add experimental IML formatter ImandraX VSCode Extension CI #335: Pull request #35 synchronize by wintersteiger
June 24, 2025 20:17 47s christoph/iml-formatter
christoph/iml-formatter
June 24, 2025 20:17 47s
Add experimental IML formatter ImandraX VSCode Extension CI #334: Pull request #35 synchronize by wintersteiger
June 24, 2025 19:57 4m 0s christoph/iml-formatter
christoph/iml-formatter
June 24, 2025 19:57 4m 0s
Add experimental IML formatter ImandraX VSCode Extension CI #333: Pull request #35 synchronize by wintersteiger
June 24, 2025 19:46 4m 45s christoph/iml-formatter
christoph/iml-formatter
June 24, 2025 19:46 4m 45s