Skip to content

Actions: UnitTestBot/ksmt

Actions

Build and run long ksmt tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
run-long-tests.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and run long ksmt tests Build and run long ksmt tests #115: Manually run by Saloed
August 15, 2024 12:22 24m 28s bupaheh/fixes
bupaheh/fixes
August 15, 2024 12:22 24m 28s
Build and run long ksmt tests Build and run long ksmt tests #114: Manually run by Saloed
April 12, 2024 23:54 2h 16m 16s cvc-upgrade
cvc-upgrade
April 12, 2024 23:54 2h 16m 16s
Build and run long ksmt tests Build and run long ksmt tests #113: Manually run by Saloed
January 31, 2024 19:15 2h 49m 8s rework-model-detach
rework-model-detach
January 31, 2024 19:15 2h 49m 8s
Build and run long ksmt tests Build and run long ksmt tests #112: Manually run by Saloed
January 30, 2024 07:55 50m 20s z3-4.12.4
z3-4.12.4
January 30, 2024 07:55 50m 20s
Build and run long ksmt tests Build and run long ksmt tests #111: Manually run by Saloed
January 30, 2024 07:48 8m 1s z3-4.12.4
z3-4.12.4
January 30, 2024 07:48 8m 1s
Build and run long ksmt tests Build and run long ksmt tests #109: Manually run by Saloed
January 29, 2024 22:44 2h 56m 50s z3-4.12.4
z3-4.12.4
January 29, 2024 22:44 2h 56m 50s
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
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
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
Build and run long ksmt tests Build and run long ksmt tests #105: Manually run by Saloed
October 30, 2023 16:46 2h 17m 8s z3-fp-model-fix
z3-fp-model-fix
October 30, 2023 16:46 2h 17m 8s
Build and run long ksmt tests Build and run long ksmt tests #104: Manually run by Saloed
October 23, 2023 21:40 3h 45m 20s bulk-assert
bulk-assert
October 23, 2023 21:40 3h 45m 20s
Build and run long ksmt tests Build and run long ksmt tests #103: Manually run by Saloed
October 23, 2023 20:47 26m 56s bulk-assert
bulk-assert
October 23, 2023 20:47 26m 56s
Build and run long ksmt tests Build and run long ksmt tests #102: Manually run by Saloed
October 14, 2023 15:24 4h 18m 6s z3-4.12.2
z3-4.12.2
October 14, 2023 15:24 4h 18m 6s
Build and run long ksmt tests Build and run long ksmt tests #101: Manually run by Saloed
October 13, 2023 23:23 1h 44m 46s z3-4.12.2
z3-4.12.2
October 13, 2023 23:23 1h 44m 46s
Build and run long ksmt tests Build and run long ksmt tests #99: Manually run by Saloed
August 4, 2023 13:40 5h 7m 17s symfpu-base
symfpu-base
August 4, 2023 13:40 5h 7m 17s
Build and run long ksmt tests Build and run long ksmt tests #98: Manually run by Saloed
August 4, 2023 13:37 3h 35m 7s symfpu-base
symfpu-base
August 4, 2023 13:37 3h 35m 7s
Build and run long ksmt tests Build and run long ksmt tests #97: Manually run by Saloed
June 20, 2023 11:00 7h 54m 13s fix-int-operations
fix-int-operations
June 20, 2023 11:00 7h 54m 13s
Build and run long ksmt tests Build and run long ksmt tests #96: Manually run by Saloed
June 20, 2023 08:59 1h 8m 17s fix-int-operations
fix-int-operations
June 20, 2023 08:59 1h 8m 17s
Build and run long ksmt tests Build and run long ksmt tests #95: Manually run by Saloed
June 19, 2023 17:02 1h 35m 35s main
main
June 19, 2023 17:02 1h 35m 35s
Build and run long ksmt tests Build and run long ksmt tests #94: Manually run by Saloed
June 10, 2023 08:46 2h 48m 33s z3-more-operations
z3-more-operations
June 10, 2023 08:46 2h 48m 33s