Skip to content

Actions: VSharp-team/VSharp

Actions

Run tests and publish docker image

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish_docker.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #331 from VSharp-team/unsafe-fixes Run tests and publish docker image #89: Commit 7aee14b pushed by oveeernight
October 27, 2024 15:34 23m 36s master
master
October 27, 2024 15:34 23m 36s
Merge pull request #325 from MchKosticyn/master Run tests and publish docker image #88: Commit fa3fed0 pushed by MchKosticyn
October 27, 2024 12:18 25m 13s master
master
October 27, 2024 12:18 25m 13s
Merge pull request #327 from DanielELog/RunningSDKFix Run tests and publish docker image #87: Commit 96661dc pushed by MchKosticyn
July 2, 2024 14:25 23m 45s master
master
July 2, 2024 14:25 23m 45s
Merge pull request #295 from oveeernight/splitting Run tests and publish docker image #86: Commit e616b05 pushed by MchKosticyn
April 23, 2024 11:06 22m 58s master
master
April 23, 2024 11:06 22m 58s
Merge pull request #317 from MchKosticyn/master Run tests and publish docker image #85: Commit 7a70925 pushed by MchKosticyn
March 26, 2024 10:51 21m 8s master
master
March 26, 2024 10:51 21m 8s
Merge pull request #319 from MchKosticyn/overflowCheck Run tests and publish docker image #84: Commit f2f93b5 pushed by MchKosticyn
March 23, 2024 19:41 21m 19s master
master
March 23, 2024 19:41 21m 19s
Merge pull request #316 from ch3zych3z/typeSolver Run tests and publish docker image #83: Commit f8cc1f9 pushed by MchKosticyn
March 12, 2024 12:33 20m 11s master
master
March 12, 2024 12:33 20m 11s
Merge pull request #315 from ch3zych3z/mem-refactor Run tests and publish docker image #82: Commit 4d449ad pushed by MchKosticyn
March 7, 2024 14:24 27m 15s master
master
March 7, 2024 14:24 27m 15s