Skip to content

Actions: UnitTestBot/usvm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
617 workflow runs
617 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support simple calls CI #54: Pull request #246 synchronize by Lipen
February 7, 2025 12:13 4m 42s lipen/ts-call
lipen/ts-call
February 7, 2025 12:13 4m 42s
Extract a separate translator for TS (#247) CI #53: Commit 54d248a pushed by CaelmBleidd
February 7, 2025 12:06 4m 50s main
main
February 7, 2025 12:06 4m 50s
Extract a separate translator for TS CI #52: Pull request #247 synchronize by CaelmBleidd
February 7, 2025 11:59 4m 21s caelmbleidd/ts_expr_translator
caelmbleidd/ts_expr_translator
February 7, 2025 11:59 4m 21s
Extract a separate translator for TS CI #51: Pull request #247 opened by CaelmBleidd
February 7, 2025 11:51 4m 30s caelmbleidd/ts_expr_translator
caelmbleidd/ts_expr_translator
February 7, 2025 11:51 4m 30s
Support simple calls CI #50: Pull request #246 opened by Lipen
February 7, 2025 11:47 4m 24s lipen/ts-call
lipen/ts-call
February 7, 2025 11:47 4m 24s
Support OR operator (#245) CI #49: Commit 62b17f8 pushed by Lipen
February 7, 2025 09:35 5m 38s main
main
February 7, 2025 09:35 5m 38s
Support OR operator CI #48: Pull request #245 synchronize by Lipen
February 6, 2025 15:16 6m 26s lipen/ts-or
lipen/ts-or
February 6, 2025 15:16 6m 26s
Support OR operator CI #47: Pull request #245 opened by Lipen
February 6, 2025 15:10 7m 20s lipen/ts-or
lipen/ts-or
February 6, 2025 15:10 7m 20s
Add ensureSat (#244) CI #46: Commit a682a99 pushed by Lipen
February 6, 2025 15:05 7m 26s main
main
February 6, 2025 15:05 7m 26s
Add ensureSat CI #45: Pull request #244 synchronize by Lipen
February 5, 2025 18:45 7m 4s lipen/assert-sat
lipen/assert-sat
February 5, 2025 18:45 7m 4s
Add ensureSat CI #44: Pull request #244 opened by Lipen
February 5, 2025 14:41 7m 36s lipen/assert-sat
lipen/assert-sat
February 5, 2025 14:41 7m 36s
Bump jacodb and fix JcSettings import (#242) CI #43: Commit 7118a30 pushed by Saloed
February 3, 2025 15:54 5m 55s main
main
February 3, 2025 15:54 5m 55s
Bump jacodb and fix JcSettings import CI #42: Pull request #242 synchronize by Saloed
February 3, 2025 15:28 10m 25s lipen/jacodb-update
lipen/jacodb-update
February 3, 2025 15:28 10m 25s
Bump jacodb and fix JcSettings import CI #41: Pull request #242 synchronize by Saloed
February 3, 2025 15:02 10m 54s lipen/jacodb-update
lipen/jacodb-update
February 3, 2025 15:02 10m 54s
Bump jacodb and fix JcSettings import CI #40: Pull request #242 synchronize by Saloed
February 3, 2025 14:22 7m 49s lipen/jacodb-update
lipen/jacodb-update
February 3, 2025 14:22 7m 49s
Bump jacodb and fix JcSettings import CI #39: Pull request #242 synchronize by Saloed
February 3, 2025 13:37 8m 35s lipen/jacodb-update
lipen/jacodb-update
February 3, 2025 13:37 8m 35s
Bump jacodb and fix JcSettings import CI #38: Pull request #242 synchronize by Saloed
February 3, 2025 13:23 5m 54s lipen/jacodb-update
lipen/jacodb-update
February 3, 2025 13:23 5m 54s
Bump jacodb and fix JcSettings import CI #37: Pull request #242 synchronize by Lipen
February 3, 2025 10:06 11m 46s lipen/jacodb-update
lipen/jacodb-update
February 3, 2025 10:06 11m 46s
Upload Gradle reports (#243) CI #36: Commit 5ecce14 pushed by Lipen
January 31, 2025 17:39 6m 37s main
main
January 31, 2025 17:39 6m 37s
Upload Gradle reports CI #35: Pull request #243 opened by Lipen
January 31, 2025 13:18 6m 31s lipen/upload-gradle-reports
lipen/upload-gradle-reports
January 31, 2025 13:18 6m 31s
Bump jacodb and fix JcSettings import CI #34: Pull request #242 synchronize by Lipen
January 31, 2025 12:43 11m 42s lipen/jacodb-update
lipen/jacodb-update
January 31, 2025 12:43 11m 42s
Bump jacodb and fix JcSettings import CI #33: Pull request #242 synchronize by Lipen
January 30, 2025 16:39 6m 22s lipen/jacodb-update
lipen/jacodb-update
January 30, 2025 16:39 6m 22s
Bump jacodb and fix JcSettings import CI #32: Pull request #242 synchronize by Lipen
January 30, 2025 16:27 10m 21s lipen/jacodb-update
lipen/jacodb-update
January 30, 2025 16:27 10m 21s
Bump jacodb and fix JcSettings import CI #31: Pull request #242 synchronize by Lipen
January 30, 2025 16:20 6m 27s lipen/jacodb-update
lipen/jacodb-update
January 30, 2025 16:20 6m 27s
Bump jacodb and fix JcSettings import CI #30: Pull request #242 opened by Lipen
January 30, 2025 15:53 2m 9s lipen/jacodb-update
lipen/jacodb-update
January 30, 2025 15:53 2m 9s