Skip to content

Actions: UnitTestBot/usvm

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support simple calls (#246) CI #57: Commit 464fee8 pushed by Lipen
4m 29s main
main
4m 29s
Support simple calls CI #56: Pull request #246 synchronize by CaelmBleidd
4m 29s lipen/ts-call
lipen/ts-call
4m 29s
Support simple calls CI #55: Pull request #246 synchronize by CaelmBleidd
4m 27s lipen/ts-call
lipen/ts-call
4m 27s
Support simple calls CI #54: Pull request #246 synchronize by Lipen
4m 42s lipen/ts-call
lipen/ts-call
4m 42s
Extract a separate translator for TS (#247) CI #53: Commit 54d248a pushed by CaelmBleidd
4m 50s main
main
4m 50s
Extract a separate translator for TS CI #52: Pull request #247 synchronize by CaelmBleidd
4m 21s caelmbleidd/ts_expr_translator
caelmbleidd/ts_expr_translator
4m 21s
Extract a separate translator for TS CI #51: Pull request #247 opened by CaelmBleidd
4m 30s caelmbleidd/ts_expr_translator
caelmbleidd/ts_expr_translator
4m 30s
Support simple calls CI #50: Pull request #246 opened by Lipen
4m 24s lipen/ts-call
lipen/ts-call
4m 24s
Support OR operator (#245) CI #49: Commit 62b17f8 pushed by Lipen
5m 38s main
main
5m 38s
Support OR operator CI #48: Pull request #245 synchronize by Lipen
6m 26s lipen/ts-or
lipen/ts-or
6m 26s
Support OR operator CI #47: Pull request #245 opened by Lipen
7m 20s lipen/ts-or
lipen/ts-or
7m 20s
Add ensureSat (#244) CI #46: Commit a682a99 pushed by Lipen
7m 26s main
main
7m 26s
Add ensureSat CI #45: Pull request #244 synchronize by Lipen
7m 4s lipen/assert-sat
lipen/assert-sat
7m 4s
Add ensureSat CI #44: Pull request #244 opened by Lipen
7m 36s lipen/assert-sat
lipen/assert-sat
7m 36s
Bump jacodb and fix JcSettings import (#242) CI #43: Commit 7118a30 pushed by Saloed
5m 55s main
main
5m 55s
Bump jacodb and fix JcSettings import CI #42: Pull request #242 synchronize by Saloed
10m 25s lipen/jacodb-update
lipen/jacodb-update
10m 25s
Bump jacodb and fix JcSettings import CI #41: Pull request #242 synchronize by Saloed
10m 54s lipen/jacodb-update
lipen/jacodb-update
10m 54s
Bump jacodb and fix JcSettings import CI #40: Pull request #242 synchronize by Saloed
7m 49s lipen/jacodb-update
lipen/jacodb-update
7m 49s
Bump jacodb and fix JcSettings import CI #39: Pull request #242 synchronize by Saloed
8m 35s lipen/jacodb-update
lipen/jacodb-update
8m 35s
Bump jacodb and fix JcSettings import CI #38: Pull request #242 synchronize by Saloed
5m 54s lipen/jacodb-update
lipen/jacodb-update
5m 54s
Bump jacodb and fix JcSettings import CI #37: Pull request #242 synchronize by Lipen
11m 46s lipen/jacodb-update
lipen/jacodb-update
11m 46s
Upload Gradle reports (#243) CI #36: Commit 5ecce14 pushed by Lipen
6m 37s main
main
6m 37s
Upload Gradle reports CI #35: Pull request #243 opened by Lipen
6m 31s lipen/upload-gradle-reports
lipen/upload-gradle-reports
6m 31s
Bump jacodb and fix JcSettings import CI #34: Pull request #242 synchronize by Lipen
11m 42s lipen/jacodb-update
lipen/jacodb-update
11m 42s
Bump jacodb and fix JcSettings import CI #33: Pull request #242 synchronize by Lipen
6m 22s lipen/jacodb-update
lipen/jacodb-update
6m 22s