Skip to content

Actions: MchKosticyn/usvm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

supported final method case in virtual call Build and Run Tests [gradle] #8: Commit 04f1e47 pushed by MchKosticyn
August 14, 2024 07:07 9m 57s main
main
August 14, 2024 07:07 9m 57s
supported final method case in virtual call Build and Run Tests [gradle] #7: Commit 626d10f pushed by MchKosticyn
August 13, 2024 16:58 10m 44s main
main
August 13, 2024 16:58 10m 44s
supported final method case in virtual call Build and Run Tests [gradle] #6: Commit 3b1f43e pushed by MchKosticyn
August 13, 2024 13:57 31m 9s main
main
August 13, 2024 13:57 31m 9s
updated approximations Build and Run Tests [gradle] #5: Commit a21a04a pushed by MchKosticyn
August 7, 2024 15:36 14m 25s main
main
August 7, 2024 15:36 14m 25s
updated approximations Build and Run Tests [gradle] #4: Commit b7b5437 pushed by MchKosticyn
August 7, 2024 14:27 10m 23s main
main
August 7, 2024 14:27 10m 23s
updated approximations Build and Run Tests [gradle] #3: Commit b4ff5e6 pushed by MchKosticyn
August 7, 2024 14:07 11m 12s main
main
August 7, 2024 14:07 11m 12s
updated approximations Build and Run Tests [gradle] #2: Commit 981ae31 pushed by MchKosticyn
August 7, 2024 11:22 10m 53s main
main
August 7, 2024 11:22 10m 53s
updated usvm-api Build and Run Tests [gradle] #1: Commit c81dc1f pushed by MchKosticyn
August 7, 2024 10:49 28m 41s main
main
August 7, 2024 10:49 28m 41s