Skip to content

Actions: UnitTestBot/ksmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade z3 version to 4.12.5 Build and run simple ksmt tests #359: Pull request #148 edited by Saloed
December 8, 2023 19:29 4m 33s z3-4.12.4
z3-4.12.4
December 8, 2023 19:29 4m 33s
Upgrade z3 version to 4.12.5 Build and run simple ksmt tests #358: Pull request #148 opened by Saloed
December 8, 2023 19:08 4m 15s z3-4.12.4
z3-4.12.4
December 8, 2023 19:08 4m 15s
0.5.15 Release #42: Release 0.5.15 published by Saloed
December 1, 2023 08:09 10m 20s
December 1, 2023 08:09 10m 20s
Manylinux compatibility (#147) Build and run simple ksmt tests #357: Commit 03f993f pushed by Saloed
December 1, 2023 08:08 9m 23s main
main
December 1, 2023 08:08 9m 23s
Manylinux compatibility Build and run simple ksmt tests #356: Pull request #147 edited by Saloed
December 1, 2023 07:57 10m 22s manylinux-compatibility
manylinux-compatibility
December 1, 2023 07:57 10m 22s
Manylinux compatibility Build and run simple ksmt tests #355: Pull request #147 edited by Saloed
December 1, 2023 07:53 24s manylinux-compatibility
manylinux-compatibility
December 1, 2023 07:53 24s
Manylinux compatibility Build and run simple ksmt tests #354: Pull request #147 edited by Saloed
December 1, 2023 07:53 20s manylinux-compatibility
manylinux-compatibility
December 1, 2023 07:53 20s
Build and run long ksmt tests Build and run long ksmt tests #108: Manually run by Saloed
November 30, 2023 23:14 1h 35m 45s manylinux-compatibility
manylinux-compatibility
November 30, 2023 23:14 1h 35m 45s
Manylinux compatibility Build and run simple ksmt tests #353: Pull request #147 edited by Saloed
November 30, 2023 23:02 10m 16s manylinux-compatibility
manylinux-compatibility
November 30, 2023 23:02 10m 16s
Manylinux compatibility Build and run simple ksmt tests #352: Pull request #147 edited by Saloed
November 30, 2023 21:39 7m 4s manylinux-compatibility
manylinux-compatibility
November 30, 2023 21:39 7m 4s
Manylinux compatibility Build and run simple ksmt tests #351: Pull request #147 edited by Saloed
November 30, 2023 20:05 8m 57s manylinux-compatibility
manylinux-compatibility
November 30, 2023 20:05 8m 57s
Manylinux compatibility Build and run simple ksmt tests #350: Pull request #147 opened by Saloed
November 30, 2023 15:34 9m 14s manylinux-compatibility
manylinux-compatibility
November 30, 2023 15:34 9m 14s
0.5.14 Release #41: Release 0.5.14 published by Saloed
November 3, 2023 13:28 12m 13s
November 3, 2023 13:28 12m 13s
Fix expressions simplification (#144) Build and run simple ksmt tests #349: Commit 3769986 pushed by Saloed
November 3, 2023 13:27 10m 57s main
main
November 3, 2023 13:27 10m 57s
Build and run long ksmt tests Build and run long ksmt tests #107: Manually run by Saloed
November 1, 2023 19:40 1h 53m 30s fixes
fixes
November 1, 2023 19:40 1h 53m 30s
Fix expressions simplification Build and run simple ksmt tests #348: Pull request #144 opened by Saloed
November 1, 2023 19:39 14m 22s fixes
fixes
November 1, 2023 19:39 14m 22s
0.5.13 Release #40: Release 0.5.13 published by Saloed
November 1, 2023 05:18 12m 33s
November 1, 2023 05:18 12m 33s
Z3: Fix model detach (#143) Build and run simple ksmt tests #347: Commit d848167 pushed by Saloed
November 1, 2023 05:17 15m 31s main
main
November 1, 2023 05:17 15m 31s
Build and run long ksmt tests Build and run long ksmt tests #106: Manually run by Saloed
October 31, 2023 23:36 2h 6m 46s model-fix
model-fix
October 31, 2023 23:36 2h 6m 46s
Z3: Fix model detach Build and run simple ksmt tests #346: Pull request #143 edited by Saloed
October 31, 2023 23:23 16m 31s model-fix
model-fix
October 31, 2023 23:23 16m 31s
Z3: Fix model detach Build and run simple ksmt tests #345: Pull request #143 opened by Saloed
October 31, 2023 23:21 14m 48s model-fix
model-fix
October 31, 2023 23:21 14m 48s
Rebuild Yices on mac-os (#142) Build and run simple ksmt tests #344: Commit f603694 pushed by Saloed
October 31, 2023 17:04 16m 23s main
main
October 31, 2023 17:04 16m 23s
Rebuild Yices on mac-os Build and run simple ksmt tests #343: Pull request #142 opened by Saloed
October 31, 2023 14:49 15m 7s yices-m1
yices-m1
October 31, 2023 14:49 15m 7s
0.5.12 Release #39: Release 0.5.12 published by Saloed
October 30, 2023 19:18 14m 10s
October 30, 2023 19:18 14m 10s
Z3: support fp.to_ieee_bv internal decl (#140) Build and run simple ksmt tests #342: Commit 92add18 pushed by Saloed
October 30, 2023 19:17 15m 59s main
main
October 30, 2023 19:17 15m 59s