Skip to content

Actions: imandra-ai/imandrax-tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
166 workflow runs
166 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
Widget: general Jsonable widget, support pre / post slots in all widgets checks #46: Pull request #71 synchronize by hon-gyu
22s hy/260729-cl-lib-enh
hy/260729-cl-lib-enh
22s
bump ver; CHANGELOG release #65: Commit 775eb8f pushed by hon-gyu
1m 28s imandrax-api-models==20.5.1
imandrax-api-models==20.5.1
1m 28s
bump ver; CHANGELOG release-tools #30: Commit 775eb8f pushed by hon-gyu
1m 36s imandrax-tools==20.5.0
imandrax-tools==20.5.0
1m 36s
Widget: general Jsonable widget, support pre / post slots in all widgets checks #45: Pull request #71 synchronize by hon-gyu
27s hy/260729-cl-lib-enh
hy/260729-cl-lib-enh
27s
Widget: general Jsonable widget, support pre / post slots in all widgets checks #44: Pull request #71 synchronize by hon-gyu
27s hy/260729-cl-lib-enh
hy/260729-cl-lib-enh
27s
Widget: general Jsonable widget, support pre / post slots in all widgets checks #43: Pull request #71 opened by hon-gyu
33s hy/260729-cl-lib-enh
hy/260729-cl-lib-enh
33s
Merge pull request #70 from imandra-ai/hy/widget-serialization-format checks #42: Commit f1b1b17 pushed by hon-gyu
23s main
main
23s
Refactor widget serialization format + Unify decomp result type + Support lazy IML reader for resolving dependencies checks #41: Pull request #70 synchronize by hon-gyu
28s hy/widget-serialization-format
hy/widget-serialization-format
28s
release release #64: by hon-gyu
1m 14s iml-query==0.13.0
iml-query==0.13.0
1m 14s
bump ver; CHANGELOG release-tools #29: Commit a793f34 pushed by hon-gyu
1m 17s imandrax-tools==20.4.0
imandrax-tools==20.4.0
1m 17s
bump ver; CHANGELOG release #63: Commit a793f34 pushed by hon-gyu
1m 26s imandrax-api-models==20.5.0
imandrax-api-models==20.5.0
1m 26s
Refactor widget serialization format + Unify decomp result type + Support lazy IML reader for resolving dependencies checks #40: Pull request #70 synchronize by hon-gyu
24s hy/widget-serialization-format
hy/widget-serialization-format
24s
Refactor widget serialization format + Unify decomp result type + Support lazy IML reader for resolving dependencies checks #39: Pull request #70 opened by hon-gyu
22s hy/widget-serialization-format
hy/widget-serialization-format
22s
bump ver release #62: Commit 7c5c861 pushed by hon-gyu
1m 8s imandrax-api-models==20.4.5
imandrax-api-models==20.4.5
1m 8s
bump ver checks #38: Commit 7c5c861 pushed by hon-gyu
21s main
main
21s
ignore TacticEvalErr in case of VG refuted or unknown checks #37: Commit 0d1f61e pushed by hon-gyu
21s main
main
21s
bump ver release #61: Commit b7163c7 pushed by hon-gyu
1m 14s imandrax-api-models==20.4.4
imandrax-api-models==20.4.4
1m 14s
bump ver checks #36: Commit b7163c7 pushed by hon-gyu
26s main
main
26s
Merge pull request #69 from imandra-ai/hy/260717-skill checks #35: Commit 04aa1fc pushed by hon-gyu
28s main
main
28s
Agent skill: rewrite verification-related contents + Misc. checks #34: Pull request #69 opened by hon-gyu
25s hy/260717-skill
hy/260717-skill
25s
Merge pull request #68 from imandra-ai/hy/fix-region-grouping-dup-paths checks #33: Commit b07c4f2 pushed by hon-gyu
26s main
main
26s
bump ver release #60: Commit 26a7f86 pushed by hon-gyu
1m 6s imandrax-api-models==20.4.3
imandrax-api-models==20.4.3
1m 6s
FIX: decomp grouping duplicated label paths checks #32: Pull request #68 synchronize by hon-gyu
25s hy/fix-region-grouping-dup-paths
hy/fix-region-grouping-dup-paths
25s
FIX: decomp grouping duplicated label paths checks #31: Pull request #68 opened by hon-gyu
27s hy/fix-region-grouping-dup-paths
hy/fix-region-grouping-dup-paths
27s
skill: update cli doc checks #30: Commit 957ebcb pushed by hon-gyu
25s main
main
25s