Skip to content

Actions: imandra-ai/imandrax-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
158 workflow runs
158 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump version ImandraX VSCode Extension CI #495: Commit 70b09de pushed by wintersteiger
2m 27s main
main
2m 27s
Add support for the new goal state (#85) ImandraX VSCode Extension CI #494: Commit 7cafc9e pushed by wintersteiger
2m 6s main
main
2m 6s
Add support for the new goal state ImandraX VSCode Extension CI #493: Pull request #85 synchronize by wintersteiger
1m 34s christoph/new-goal-state
christoph/new-goal-state
1m 34s
Add support for the new goal state ImandraX VSCode Extension CI #492: Pull request #85 synchronize by wintersteiger
44s christoph/new-goal-state
christoph/new-goal-state
44s
Render List.append as @ and keep functions fully qualified in goal state ImandraX VSCode Extension CI #491: Pull request #87 opened by grantpassmore
1m 34s grant/fix-append
grant/fix-append
1m 34s
Grant/fix append ImandraX VSCode Extension CI #490: Pull request #86 opened by grantpassmore
1m 45s grant/fix-append
grant/fix-append
1m 45s
Add support for the new goal state ImandraX VSCode Extension CI #489: Pull request #85 synchronize by wintersteiger
1m 27s christoph/new-goal-state
christoph/new-goal-state
1m 27s
Add support for the new goal state ImandraX VSCode Extension CI #488: Pull request #85 synchronize by wintersteiger
1m 45s christoph/new-goal-state
christoph/new-goal-state
1m 45s
Add support for the new goal state ImandraX VSCode Extension CI #487: Pull request #85 synchronize by wintersteiger
1m 48s christoph/new-goal-state
christoph/new-goal-state
1m 48s
Add support for the new goal state ImandraX VSCode Extension CI #486: Pull request #85 synchronize by wintersteiger
1m 41s christoph/new-goal-state
christoph/new-goal-state
1m 41s
Add support for the new goal state ImandraX VSCode Extension CI #485: Pull request #85 synchronize by wintersteiger
1m 53s christoph/new-goal-state
christoph/new-goal-state
1m 53s
Add support for the new goal state ImandraX VSCode Extension CI #484: Pull request #85 synchronize by wintersteiger
1m 51s christoph/new-goal-state
christoph/new-goal-state
1m 51s
Add support for the new goal state ImandraX VSCode Extension CI #483: Pull request #85 synchronize by wintersteiger
48s christoph/new-goal-state
christoph/new-goal-state
48s
Add support for the new goal state ImandraX VSCode Extension CI #482: Pull request #85 synchronize by wintersteiger
1m 35s christoph/new-goal-state
christoph/new-goal-state
1m 35s
Add support for the new goal state ImandraX VSCode Extension CI #481: Pull request #85 synchronize by wintersteiger
1m 40s christoph/new-goal-state
christoph/new-goal-state
1m 40s
Add support for the new goal state ImandraX VSCode Extension CI #480: Pull request #85 synchronize by wintersteiger
1m 34s christoph/new-goal-state
christoph/new-goal-state
1m 34s
Add support for the new goal state ImandraX VSCode Extension CI #479: Pull request #85 synchronize by wintersteiger
45s christoph/new-goal-state
christoph/new-goal-state
45s
Add support for the new goal state ImandraX VSCode Extension CI #478: Pull request #85 synchronize by wintersteiger
43s christoph/new-goal-state
christoph/new-goal-state
43s
Add support for the new goal state ImandraX VSCode Extension CI #477: Pull request #85 synchronize by wintersteiger
1m 40s christoph/new-goal-state
christoph/new-goal-state
1m 40s
Add support for the new goal state ImandraX VSCode Extension CI #476: Pull request #85 synchronize by wintersteiger
1m 36s christoph/new-goal-state
christoph/new-goal-state
1m 36s
Add support for the new goal state ImandraX VSCode Extension CI #475: Pull request #85 synchronize by wintersteiger
1m 42s christoph/new-goal-state
christoph/new-goal-state
1m 42s
Add support for the new goal state ImandraX VSCode Extension CI #474: Pull request #85 synchronize by wintersteiger
1m 39s christoph/new-goal-state
christoph/new-goal-state
1m 39s
Add support for the new goal state ImandraX VSCode Extension CI #473: Pull request #85 synchronize by wintersteiger
1m 30s christoph/new-goal-state
christoph/new-goal-state
1m 30s
Add support for the new goal state ImandraX VSCode Extension CI #472: Pull request #85 synchronize by wintersteiger
2m 5s christoph/new-goal-state
christoph/new-goal-state
2m 5s
Add support for the new goal state ImandraX VSCode Extension CI #471: Pull request #85 synchronize by wintersteiger
1m 39s christoph/new-goal-state
christoph/new-goal-state
1m 39s