Skip to content

Actions: MchKosticyn/VSharp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[wip] fixed CI Run tests and publish docker image #88: Commit 1930fad pushed by MchKosticyn
October 23, 2023 12:58 28m 39s master
master
October 23, 2023 12:58 28m 39s
wip Run tests and publish docker image #87: Commit 1d00bbb pushed by MchKosticyn
October 23, 2023 12:51 2m 32s master
master
October 23, 2023 12:51 2m 32s
wip Run tests and publish docker image #86: Commit 2ea71fb pushed by MchKosticyn
October 23, 2023 12:47 2m 18s master
master
October 23, 2023 12:47 2m 18s
[wip] fixed CI Run tests and publish docker image #85: Commit e0d882d pushed by MchKosticyn
October 23, 2023 11:03 2m 33s master
master
October 23, 2023 11:03 2m 33s
[wip] fixed CI Run tests and publish docker image #84: Commit a31ce99 pushed by MchKosticyn
October 23, 2023 10:56 2m 33s master
master
October 23, 2023 10:56 2m 33s
[fix] updated 'Z3' version Run tests and publish docker image #83: Commit 6e886e5 pushed by MchKosticyn
October 20, 2023 15:25 2m 35s master
master
October 20, 2023 15:25 2m 35s
[fix] updated 'Z3' version Run tests and publish docker image #82: Commit 8a4dff2 pushed by MchKosticyn
October 20, 2023 15:19 1m 59s master
master
October 20, 2023 15:19 1m 59s
[fix] fixed 'defaultValue' in memory regions Run tests and publish docker image #81: Commit fb3e3ed pushed by MchKosticyn
October 19, 2023 21:10 7m 14s master
master
October 19, 2023 21:10 7m 14s
[test] added tests for classes' fields Run tests and publish docker image #80: Commit dc26fff pushed by MchKosticyn
October 19, 2023 14:00 8m 25s master
master
October 19, 2023 14:00 8m 25s
[test] added tests for classes' fields Run tests and publish docker image #79: Commit 971d838 pushed by MchKosticyn
October 19, 2023 13:03 7m 54s master
master
October 19, 2023 13:03 7m 54s
[style] fixed style Run tests and publish docker image #78: Commit 4588fa4 pushed by MchKosticyn
October 19, 2023 13:02 6m 56s master
master
October 19, 2023 13:02 6m 56s
[test] added tests Run tests and publish docker image #77: Commit 66135a4 pushed by MchKosticyn
October 10, 2023 18:23 6m 45s master
master
October 10, 2023 18:23 6m 45s
[test] ignored extern mocking tests Run tests and publish docker image #76: Commit d512986 pushed by MchKosticyn
September 7, 2023 13:05 20m 56s master
master
September 7, 2023 13:05 20m 56s
[style] fixed style Run tests and publish docker image #75: Commit e73278e pushed by MchKosticyn
September 7, 2023 12:03 14m 40s master
master
September 7, 2023 12:03 14m 40s
[fix] fixed exploring method normalization Run tests and publish docker image #74: Commit fefa7f4 pushed by MchKosticyn
September 4, 2023 18:23 17m 50s master
master
September 4, 2023 18:23 17m 50s
[fix] fixed renderer Run tests and publish docker image #73: Commit 989f606 pushed by MchKosticyn
September 4, 2023 16:12 3m 15s master
master
September 4, 2023 16:12 3m 15s
[fix] fixed symlink for unix Run tests and publish docker image #72: Commit 3fef3ff pushed by MchKosticyn
September 4, 2023 14:29 4m 2s master
master
September 4, 2023 14:29 4m 2s
[fix] fixed synchronization between string and char array Run tests and publish docker image #71: Commit d7f5c4b pushed by MchKosticyn
September 4, 2023 13:59 3m 16s master
master
September 4, 2023 13:59 3m 16s
[fix] fixed casting combined term Run tests and publish docker image #70: Commit 0d3586c pushed by MchKosticyn
August 31, 2023 19:41 6m 49s master
master
August 31, 2023 19:41 6m 49s
[fix] fixed casting combined term Run tests and publish docker image #69: Commit 355db63 pushed by MchKosticyn
August 31, 2023 19:40 9m 45s master
master
August 31, 2023 19:40 9m 45s
[fix] fixed casting combined term Run tests and publish docker image #68: Commit b2564bf pushed by MchKosticyn
August 31, 2023 19:39 7m 1s master
master
August 31, 2023 19:39 7m 1s
[fix] fixed type solver Run tests and publish docker image #67: Commit 9eafca1 pushed by MchKosticyn
August 21, 2023 10:13 17m 36s master
master
August 21, 2023 10:13 17m 36s