Skip to content

Actions: UnitTestBot/usvm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
745 workflow runs
745 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use jacodb from GitHub Packages Registry CI #473: Pull request #317 synchronize by Lipen
July 31, 2025 13:57 5m 14s lipen/jacodb-gpr
lipen/jacodb-gpr
July 31, 2025 13:57 5m 14s
Use jacodb from GitHub Packages Registry CI #472: Pull request #317 opened by Lipen
July 31, 2025 13:50 5m 13s lipen/jacodb-gpr
lipen/jacodb-gpr
July 31, 2025 13:50 5m 13s
Use stmt.location.method instead of stmt.method (#312) CI #471: Commit c5b7794 pushed by Lipen
July 31, 2025 13:41 10m 23s main
main
July 31, 2025 13:41 10m 23s
Use stmt.location.method instead of stmt.method CI #470: Pull request #312 synchronize by Lipen
July 31, 2025 13:24 3m 58s lipen/stmt-method
lipen/stmt-method
July 31, 2025 13:24 3m 58s
initializeAllocatedSet in USetRegion (#316) CI #469: Commit e4ac429 pushed by Saloed
July 31, 2025 11:22 7m 31s main
main
July 31, 2025 11:22 7m 31s
initializeAllocatedSet in USetRegion CI #468: Pull request #316 synchronize by tochilinak
July 31, 2025 11:10 6m 15s tochilinak/big-concrete-set
tochilinak/big-concrete-set
July 31, 2025 11:10 6m 15s
initializeAllocatedSet in USetRegion CI #467: Pull request #316 synchronize by tochilinak
July 31, 2025 08:22 6m 2s tochilinak/big-concrete-set
tochilinak/big-concrete-set
July 31, 2025 08:22 6m 2s
Updated approximations (#314) CI #466: Commit d496174 pushed by Saloed
July 30, 2025 18:44 7m 35s main
main
July 30, 2025 18:44 7m 35s
Updated approximations CI #465: Pull request #314 synchronize by MchKosticyn
July 30, 2025 14:08 7m 3s MchKosticyn:newApproximations
MchKosticyn:newApproximations
July 30, 2025 14:08 7m 3s
initializeAllocatedSet in USetRegion CI #464: Pull request #316 synchronize by tochilinak
July 30, 2025 14:04 7m 52s tochilinak/big-concrete-set
tochilinak/big-concrete-set
July 30, 2025 14:04 7m 52s
Updated approximations CI #463: Pull request #314 synchronize by MchKosticyn
July 30, 2025 14:03 8m 34s MchKosticyn:newApproximations
MchKosticyn:newApproximations
July 30, 2025 14:03 8m 34s
initializeAllocatedSet in USetRegion CI #462: Pull request #316 synchronize by tochilinak
July 30, 2025 13:43 6m 6s tochilinak/big-concrete-set
tochilinak/big-concrete-set
July 30, 2025 13:43 6m 6s
Updated approximations CI #461: Pull request #314 synchronize by MchKosticyn
July 30, 2025 13:06 7m 16s MchKosticyn:newApproximations
MchKosticyn:newApproximations
July 30, 2025 13:06 7m 16s
initializeAllocatedSet in USetRegion CI #460: Pull request #316 opened by tochilinak
July 30, 2025 12:44 5m 39s tochilinak/big-concrete-set
tochilinak/big-concrete-set
July 30, 2025 12:44 5m 39s
Updated approximations CI #459: Pull request #314 synchronize by MchKosticyn
July 30, 2025 11:36 9m 6s MchKosticyn:newApproximations
MchKosticyn:newApproximations
July 30, 2025 11:36 9m 6s
Updated approximations CI #458: Pull request #314 synchronize by MchKosticyn
July 29, 2025 15:21 7m 4s MchKosticyn:newApproximations
MchKosticyn:newApproximations
July 29, 2025 15:21 7m 4s
Use stmt.location.method instead of stmt.method CI #457: Pull request #312 synchronize by Lipen
July 28, 2025 14:42 5m 30s lipen/stmt-method
lipen/stmt-method
July 28, 2025 14:42 5m 30s
[chore] updated jacodb version (#313) CI #456: Commit 94b2381 pushed by Saloed
July 27, 2025 13:23 10m 39s main
main
July 27, 2025 13:23 10m 39s
Updated approximations CI #455: Pull request #314 opened by MchKosticyn
July 27, 2025 13:03 6m 47s MchKosticyn:newApproximations
MchKosticyn:newApproximations
July 27, 2025 13:03 6m 47s
Updated jacodb version CI #454: Pull request #313 opened by MchKosticyn
July 27, 2025 12:05 9m 38s MchKosticyn:main
MchKosticyn:main
July 27, 2025 12:05 9m 38s
Use stmt.location.method instead of stmt.method CI #453: Pull request #312 opened by Lipen
July 24, 2025 13:30 8m 20s lipen/stmt-method
lipen/stmt-method
July 24, 2025 13:30 8m 20s
[TS] Support PtrCall CI #452: Pull request #311 synchronize by Lipen
July 18, 2025 15:50 7m 54s lipen/ptr-call
lipen/ptr-call
July 18, 2025 15:50 7m 54s
[TS] Support PtrCall CI #451: Pull request #311 synchronize by Lipen
July 18, 2025 15:36 9m 51s lipen/ptr-call
lipen/ptr-call
July 18, 2025 15:36 9m 51s
[TS] Support PtrCall CI #450: Pull request #311 synchronize by Lipen
July 17, 2025 16:23 7m 0s lipen/ptr-call
lipen/ptr-call
July 17, 2025 16:23 7m 0s
[TS] Support PtrCall CI #449: Pull request #311 synchronize by Lipen
July 17, 2025 14:26 7m 22s lipen/ptr-call
lipen/ptr-call
July 17, 2025 14:26 7m 22s