Skip to content

Actions: UnitTestBot/usvm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
678 workflow runs
678 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[TS] Extend reachability analysis test suite (#334) CI #584: Commit 71cd0e1 pushed by Lipen
9m 48s main
main
9m 48s
[TS] Extend reachability analysis test suite CI #583: Pull request #334 synchronize by Lipen
11m 45s lipen/reachability-2
lipen/reachability-2
11m 45s
Made plusAssign of UPathConstraints non-recursive (#338) CI #582: Commit 3eb7178 pushed by dvvrd
5m 58s main
main
5m 58s
Made plusAssign of UPathConstraints non-recursive CI #581: Pull request #338 opened by tochilinak
6m 5s tochilinak/non-recursive-ps
tochilinak/non-recursive-ps
6m 5s
[TS] Extend reachability analysis test suite CI #580: Pull request #334 synchronize by Lipen
4m 32s lipen/reachability-2
lipen/reachability-2
4m 32s
[TS] Reachability CLI CI #579: Pull request #337 opened by Lipen
1m 46s lipen/reachability-api
lipen/reachability-api
1m 46s
[TS] Fixes in TS interpreter for real projects (#336) CI #578: Commit 99fa6cd pushed by Lipen
9m 45s main
main
9m 45s
[TS] Fixes in TS interpreter for real projects CI #577: Pull request #336 synchronize by Lipen
4m 46s lipen/fixes
lipen/fixes
4m 46s
[TS] Fixes in TS interpreter for real projects CI #576: Pull request #336 synchronize by Lipen
4m 25s lipen/fixes
lipen/fixes
4m 25s
[TS] Fixes in TS interpreter for real projects CI #575: Pull request #336 synchronize by Lipen
4m 32s lipen/fixes
lipen/fixes
4m 32s
[TS] Fixes with arrays (#333) CI #574: Commit b41bb3d pushed by CaelmBleidd
4m 46s main
main
4m 46s
[TS] Fixes in TS interpreter for real projects CI #573: Pull request #336 opened by Lipen
4m 49s lipen/fixes
lipen/fixes
4m 49s
[TS] Fixes with arrays CI #572: Pull request #333 synchronize by Lipen
4m 41s caelmbleidd/array_fixes
caelmbleidd/array_fixes
4m 41s
[TS] Fixes with arrays CI #571: Pull request #333 synchronize by Lipen
4m 24s caelmbleidd/array_fixes
caelmbleidd/array_fixes
4m 24s
[TS] Fixes with arrays CI #570: Pull request #333 synchronize by Lipen
4m 35s caelmbleidd/array_fixes
caelmbleidd/array_fixes
4m 35s
[TS] Extend reachability analysis test suite CI #569: Pull request #334 synchronize by Lipen
4m 29s lipen/reachability-2
lipen/reachability-2
4m 29s
[TS] Add checks to forbid fake objects (#335) CI #568: Commit 42e0308 pushed by Lipen
4m 45s main
main
4m 45s
[TS] Extend reachability analysis test suite CI #567: Pull request #334 synchronize by Lipen
7m 6s lipen/reachability-2
lipen/reachability-2
7m 6s
[TS] Add checks for fake objects CI #566: Pull request #335 opened by Lipen
6m 48s lipen/check-not-fake
lipen/check-not-fake
6m 48s
[TS] Bump jacodb and adopt enums (#332) CI #565: Commit 407b68a pushed by Lipen
7m 33s main
main
7m 33s
[TS] Fixes with arrays CI #564: Pull request #333 synchronize by CaelmBleidd
4m 22s caelmbleidd/array_fixes
caelmbleidd/array_fixes
4m 22s
[TS] Bump jacodb and adopt enums CI #563: Pull request #332 synchronize by Lipen
6m 58s lipen/enums
lipen/enums
6m 58s
[TS] Bump jacodb and adopt enums CI #562: Pull request #332 synchronize by Lipen
9m 58s lipen/enums
lipen/enums
9m 58s
[TS] Bump jacodb and adopt enums CI #561: Pull request #332 synchronize by Lipen
7m 57s lipen/enums
lipen/enums
7m 57s
[TS] Fixes with arrays CI #560: Pull request #333 opened by CaelmBleidd
4m 30s caelmbleidd/array_fixes
caelmbleidd/array_fixes
4m 30s