Skip to content

Actions: UnitTestBot/usvm

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
584 workflow runs
584 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