Skip to content

Actions: UnitTestBot/usvm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
612 workflow runs
612 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Loop limiter and iterative deepening PS strategies (#180) Build and Run Tests [gradle] #837: Commit e6d8d88 pushed by Saloed
February 28, 2024 11:16 3m 12s main
main
February 28, 2024 11:16 3m 12s
Loop limiter and iterative deepening PS strategies Build and Run Tests [gradle] #836: Pull request #180 synchronize by Saloed
February 27, 2024 14:44 10m 49s saloed/loop-limiter
saloed/loop-limiter
February 27, 2024 14:44 10m 49s
Loop limiter and iterative deepening PS strategies Build and Run Tests [gradle] #835: Pull request #180 synchronize by Saloed
February 27, 2024 10:05 12m 19s saloed/loop-limiter
saloed/loop-limiter
February 27, 2024 10:05 12m 19s
JcMachine debug profiler (#182) Build and Run Tests [gradle] #834: Commit 4d32607 pushed by Saloed
February 27, 2024 10:03 3m 17s main
main
February 27, 2024 10:03 3m 17s
Loop limiter and iterative deepening PS strategies Build and Run Tests [gradle] #833: Pull request #180 synchronize by Saloed
February 27, 2024 09:36 8m 5s saloed/loop-limiter
saloed/loop-limiter
February 27, 2024 09:36 8m 5s
JcMachine debug profiler Build and Run Tests [gradle] #832: Pull request #182 synchronize by Saloed
February 27, 2024 09:23 8m 40s saloed/jc-debug-profile
saloed/jc-debug-profile
February 27, 2024 09:23 8m 40s
usvm-python Build and Run Tests [gradle] #831: Pull request #169 synchronize by tochilinak
February 26, 2024 12:05 5m 29s tochilinak/python
tochilinak/python
February 26, 2024 12:05 5m 29s
usvm-python Build and Run Tests [gradle] #830: Pull request #169 synchronize by tochilinak
February 26, 2024 10:29 13m 6s tochilinak/python
tochilinak/python
February 26, 2024 10:29 13m 6s
usvm-python Build and Run Tests [gradle] #829: Pull request #169 synchronize by tochilinak
February 22, 2024 15:02 11m 28s tochilinak/python
tochilinak/python
February 22, 2024 15:02 11m 28s
Fix isFinal (#177) Build and Run Tests [gradle] #828: Commit 9915c0a pushed by Saloed
February 22, 2024 13:33 3m 18s main
main
February 22, 2024 13:33 3m 18s
usvm-python Build and Run Tests [gradle] #827: Pull request #169 synchronize by tochilinak
February 22, 2024 12:35 9m 10s tochilinak/python
tochilinak/python
February 22, 2024 12:35 9m 10s
Fix JcTypeSystem.isFinal check Build and Run Tests [gradle] #826: Pull request #177 synchronize by Saloed
February 22, 2024 11:25 10m 1s saloed/fix-jc-types
saloed/fix-jc-types
February 22, 2024 11:25 10m 1s
JcMachine debug profiler Build and Run Tests [gradle] #825: Pull request #182 synchronize by Saloed
February 22, 2024 11:25 20m 14s saloed/jc-debug-profile
saloed/jc-debug-profile
February 22, 2024 11:25 20m 14s
Loop limiter and iterative deepening PS strategies Build and Run Tests [gradle] #824: Pull request #180 synchronize by Saloed
February 22, 2024 11:21 20m 3s saloed/loop-limiter
saloed/loop-limiter
February 22, 2024 11:21 20m 3s
JcMachineOptions and implicit exceptions (#181) Build and Run Tests [gradle] #823: Commit be1df98 pushed by Saloed
February 22, 2024 11:21 10m 15s main
main
February 22, 2024 11:21 10m 15s
Primitive statics support fixes (#133) Build and Run Tests [gradle] #822: Commit 17dc344 pushed by CaelmBleidd
February 22, 2024 08:11 3m 9s main
main
February 22, 2024 08:11 3m 9s
Primitive statics support fixes Build and Run Tests [gradle] #821: Pull request #133 synchronize by CaelmBleidd
February 22, 2024 07:58 11m 16s caelmbleidd/mocks_and_statics
caelmbleidd/mocks_and_statics
February 22, 2024 07:58 11m 16s
usvm-python Build and Run Tests [gradle] #820: Pull request #169 synchronize by tochilinak
February 22, 2024 07:47 12m 16s tochilinak/python
tochilinak/python
February 22, 2024 07:47 12m 16s
Fix parent static field instrumentation Build and Run Tests [gradle] #819: Pull request #183 synchronize by IlyaMuravjov
February 21, 2024 15:22 9m 45s ilya_m/parent-static-field-instrumentation
ilya_m/parent-static-field-instrumentation
February 21, 2024 15:22 9m 45s
Fix parent static field instrumentation Build and Run Tests [gradle] #818: Pull request #183 opened by IlyaMuravjov
February 21, 2024 15:12 3m 41s ilya_m/parent-static-field-instrumentation
ilya_m/parent-static-field-instrumentation
February 21, 2024 15:12 3m 41s
Gradle Package Gradle Package #45: Manually run by IlyaMuravjov
February 21, 2024 12:04 1m 14s main
main
February 21, 2024 12:04 1m 14s
Gradle Package Gradle Package #44: Manually run by IlyaMuravjov
February 21, 2024 11:52 2m 10s main
main
February 21, 2024 11:52 2m 10s
JcMachine debug profiler Build and Run Tests [gradle] #817: Pull request #182 opened by Saloed
February 21, 2024 10:56 8m 34s saloed/jc-debug-profile
saloed/jc-debug-profile
February 21, 2024 10:56 8m 34s
JcMachineOptions and implicit exceptions Build and Run Tests [gradle] #816: Pull request #181 opened by Saloed
February 21, 2024 10:39 10m 27s saloed/jc-options
saloed/jc-options
February 21, 2024 10:39 10m 27s
Loop limiter and iterative deepening PS strategies Build and Run Tests [gradle] #815: Pull request #180 opened by Saloed
February 20, 2024 16:56 10m 43s saloed/loop-limiter
saloed/loop-limiter
February 20, 2024 16:56 10m 43s
ProTip! You can narrow down the results and go further in time using created:<2024-02-20 or the other filters available.