Skip to content

Actions: UnitTestBot/usvm

Build and Run Tests [gradle]

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
636 workflow runs
636 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Symbolic sets and map merge
Build and Run Tests [gradle] #488: Pull request #55 synchronize by sergeypospelov
September 4, 2023 08:31 10m 27s saloed/symbolic-sets
September 4, 2023 08:31 10m 27s
Intervals and products union
Build and Run Tests [gradle] #487: Pull request #56 synchronize by sergeypospelov
September 4, 2023 08:13 11m 2s sergey/intervals
September 4, 2023 08:13 11m 2s
Jc approximations infrastructure
Build and Run Tests [gradle] #486: Pull request #57 synchronize by Saloed
September 1, 2023 20:12 12m 3s saloed/jc-call-approximations
September 1, 2023 20:12 12m 3s
Jc approximations infrastructure
Build and Run Tests [gradle] #485: Pull request #57 synchronize by Saloed
September 1, 2023 19:51 14m 34s saloed/jc-call-approximations
September 1, 2023 19:51 14m 34s
Jc approximations infrastructure
Build and Run Tests [gradle] #484: Pull request #57 opened by Saloed
September 1, 2023 18:23 36m 23s saloed/jc-call-approximations
September 1, 2023 18:23 36m 23s
Intervals and products union
Build and Run Tests [gradle] #483: Pull request #56 opened by sergeypospelov
September 1, 2023 14:57 9m 53s sergey/intervals
September 1, 2023 14:57 9m 53s
Symbolic sets and map merge
Build and Run Tests [gradle] #482: Pull request #55 opened by Saloed
September 1, 2023 14:20 9m 45s saloed/symbolic-sets
September 1, 2023 14:20 9m 45s
Fix USymbolicArrayCopyAdapter composition (#54)
Build and Run Tests [gradle] #481: Commit f41c97a pushed by sergeypospelov
August 31, 2023 12:36 10m 53s main
August 31, 2023 12:36 10m 53s
Fix USymbolicArrayCopyAdapter composition
Build and Run Tests [gradle] #480: Pull request #54 opened by sergeypospelov
August 31, 2023 12:25 9m 58s sergey/adapter_fix
August 31, 2023 12:25 9m 58s
Simplify composition (#53)
Build and Run Tests [gradle] #479: Commit 5e44022 pushed by sergeypospelov
August 31, 2023 11:42 8m 25s main
August 31, 2023 11:42 8m 25s
Simplify composition
Build and Run Tests [gradle] #478: Pull request #53 synchronize by sergeypospelov
August 31, 2023 11:21 8m 11s sergey/memory_rework_2
August 31, 2023 11:21 8m 11s
Simplify composition
Build and Run Tests [gradle] #477: Pull request #53 opened by sergeypospelov
August 31, 2023 10:55 8m 47s sergey/memory_rework_2
August 31, 2023 10:55 8m 47s
Targets API
Build and Run Tests [gradle] #476: Pull request #52 opened by mxprshn
August 30, 2023 17:57 10m 48s mxprshn/taint-verification
August 30, 2023 17:57 10m 48s
Memory rework (#51)
Build and Run Tests [gradle] #475: Commit 29a3340 pushed by Saloed
August 29, 2023 11:55 11m 16s main
August 29, 2023 11:55 11m 16s
Memory rework
Build and Run Tests [gradle] #474: Pull request #51 synchronize by Saloed
August 29, 2023 11:39 9m 35s saloed/memory-rework
August 29, 2023 11:39 9m 35s
Memory rework
Build and Run Tests [gradle] #473: Pull request #51 synchronize by Saloed
August 28, 2023 17:32 8m 40s saloed/memory-rework
August 28, 2023 17:32 8m 40s
Memory rework
Build and Run Tests [gradle] #472: Pull request #51 synchronize by sergeypospelov
August 28, 2023 12:59 10m 9s saloed/memory-rework
August 28, 2023 12:59 10m 9s
Memory rework
Build and Run Tests [gradle] #471: Pull request #51 opened by Saloed
August 24, 2023 13:45 8m 2s saloed/memory-rework
August 24, 2023 13:45 8m 2s
JVM test framework
Build and Run Tests [gradle] #470: Pull request #48 synchronize by DaniilStepanov
August 24, 2023 13:19 12m 58s stepanov/jvm-instrumentation
August 24, 2023 13:19 12m 58s
JVM test framework
Build and Run Tests [gradle] #469: Pull request #48 synchronize by DaniilStepanov
August 24, 2023 10:21 10m 14s stepanov/jvm-instrumentation
August 24, 2023 10:21 10m 14s
JVM test framework
Build and Run Tests [gradle] #468: Pull request #48 synchronize by DaniilStepanov
August 24, 2023 10:16 1m 35s stepanov/jvm-instrumentation
August 24, 2023 10:16 1m 35s
JVM test framework
Build and Run Tests [gradle] #467: Pull request #48 synchronize by DaniilStepanov
August 24, 2023 10:14 1m 20s stepanov/jvm-instrumentation
August 24, 2023 10:14 1m 20s
JVM test framework
Build and Run Tests [gradle] #466: Pull request #48 synchronize by DaniilStepanov
August 23, 2023 13:32 9m 44s stepanov/jvm-instrumentation
August 23, 2023 13:32 9m 44s
JVM test framework
Build and Run Tests [gradle] #465: Pull request #48 synchronize by DaniilStepanov
August 18, 2023 11:28 6m 27s stepanov/jvm-instrumentation
August 18, 2023 11:28 6m 27s
JVM test framework
Build and Run Tests [gradle] #464: Pull request #48 synchronize by DaniilStepanov
August 18, 2023 11:25 7m 16s stepanov/jvm-instrumentation
August 18, 2023 11:25 7m 16s
ProTip! You can narrow down the results and go further in time using created:<2023-08-18 or the other filters available.