Skip to content

Actions: UnitTestBot/klee

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow run results
109 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ci] CI #1109: Commit 19dc0d3 pushed by misonijnik
December 2, 2023 21:20 58m 11s bidirectional
bidirectional
December 2, 2023 21:20 58m 11s
Annotations CI #1108: Pull request #109 synchronize by ladisgin
November 28, 2023 17:51 50m 43s ladisgin/annotations
ladisgin/annotations
November 28, 2023 17:51 50m 43s
Annotations CI #1107: Pull request #109 synchronize by ladisgin
November 28, 2023 15:18 30m 24s ladisgin/annotations
ladisgin/annotations
November 28, 2023 15:18 30m 24s
Annotations CI #1106: Pull request #109 synchronize by ladisgin
November 27, 2023 12:40 53m 34s ladisgin/annotations
ladisgin/annotations
November 27, 2023 12:40 53m 34s
Annotations CI #1105: Pull request #109 synchronize by ladisgin
November 27, 2023 10:15 33m 26s ladisgin/annotations
ladisgin/annotations
November 27, 2023 10:15 33m 26s
KLEEF Test-Comp 2024 Publish Docker Image for Release Builds #4: Release testcomp24 published by misonijnik
November 24, 2023 12:11 18s
November 24, 2023 12:11 18s
[chore] Update kleef CI #1104: Commit 4713ccd pushed by misonijnik
November 24, 2023 09:46 53m 37s main
main
November 24, 2023 09:46 53m 37s
Several fixes CI #1103: Pull request #157 synchronize by misonijnik
November 24, 2023 00:33 1h 7m 27s misonijnik/fixes
misonijnik/fixes
November 24, 2023 00:33 1h 7m 27s
Several fixes CI #1102: Pull request #157 synchronize by misonijnik
November 23, 2023 22:12 1h 11m 8s misonijnik/fixes
misonijnik/fixes
November 23, 2023 22:12 1h 11m 8s
Add lazy calculation of constraint dsu CI #1101: Commit e7af873 pushed by misonijnik
November 23, 2023 21:50 1h 15m 6s main
main
November 23, 2023 21:50 1h 15m 6s
[feat] Added Bitwuzla solver in list of available solvers. Added scri… CI #1100: Commit 7c55d68 pushed by misonijnik
November 23, 2023 21:49 51m 8s main
main
November 23, 2023 21:49 51m 8s
[feat] Added Bitwuzla solver in list of available solvers. CI #1099: Pull request #158 synchronize by S1eGa
November 23, 2023 15:28 52m 27s bitwuzla
bitwuzla
November 23, 2023 15:28 52m 27s
[feat] Added Bitwuzla solver in list of available solvers. CI #1098: Pull request #158 synchronize by S1eGa
November 22, 2023 20:44 51m 9s bitwuzla
bitwuzla
November 22, 2023 20:44 51m 9s
Add lazy calculation of constraint dsu CI #1097: Pull request #156 synchronize by dim8art
November 21, 2023 17:50 57m 13s dim8art:lazydsu
dim8art:lazydsu
November 21, 2023 17:50 57m 13s
[feat] Added Bitwuzla solver in list of available solvers. CI #1096: Pull request #158 synchronize by S1eGa
November 21, 2023 17:29 53m 45s bitwuzla
bitwuzla
November 21, 2023 17:29 53m 45s
[feat] Added Bitwuzla solver in list of available solvers. CI #1095: Pull request #158 synchronize by S1eGa
November 21, 2023 16:54 37m 7s bitwuzla
bitwuzla
November 21, 2023 16:54 37m 7s
Add lazy calculation of constraint dsu CI #1094: Pull request #156 synchronize by dim8art
November 21, 2023 16:37 1h 6m 50s dim8art:lazydsu
dim8art:lazydsu
November 21, 2023 16:37 1h 6m 50s
[feat] Added Bitwuzla solver in list of available solvers. CI #1093: Pull request #158 synchronize by S1eGa
November 21, 2023 16:34 50m 47s bitwuzla
bitwuzla
November 21, 2023 16:34 50m 47s
[feat] Added Bitwuzla solver in list of available solvers. CI #1092: Pull request #158 synchronize by S1eGa
November 21, 2023 15:35 37m 9s bitwuzla
bitwuzla
November 21, 2023 15:35 37m 9s
Annotations CI #1091: Pull request #109 synchronize by ladisgin
November 21, 2023 14:26 52m 5s ladisgin/annotations
ladisgin/annotations
November 21, 2023 14:26 52m 5s
[feat] Added Bitwuzla solver in list of available solvers. CI #1090: Pull request #158 synchronize by S1eGa
November 21, 2023 13:31 1h 1m 4s bitwuzla
bitwuzla
November 21, 2023 13:31 1h 1m 4s
[fix] Don't persist constant objects + test always persist CI #1089: Commit c91e602 pushed by ocelaiwo
November 21, 2023 13:17 39m 5s persistent_object_state
persistent_object_state
November 21, 2023 13:17 39m 5s
[feat] Added Bitwuzla solver in list of available solvers. CI #1088: Pull request #158 synchronize by S1eGa
November 21, 2023 12:49 52m 0s bitwuzla
bitwuzla
November 21, 2023 12:49 52m 0s
[fix] CI #1083: Commit 312ff29 pushed by ocelaiwo
November 21, 2023 12:02 52m 28s persistent_object_state
persistent_object_state
November 21, 2023 12:02 52m 28s
[] start CI CI #1081: Commit 6459807 pushed by ocelaiwo
November 21, 2023 11:52 9m 47s persistent_object_state
persistent_object_state
November 21, 2023 11:52 9m 47s