onedev/server-plugin-executor-serverdocker at 1b70b7c2497694fe63e04dd77f711f1ae3798fa0 - onedev - Gitea: Git with a cup of tea

archive-gh-me/onedev

mirror of https://github.com/theonedev/onedev.git synced 2025-12-08 18:26:30 +00:00

History

Robin Shen 1b70b7c249 Fix issue #927 - Anonymous volume not deleted after build with docker executor

2022-09-17 11:59:12 +08:00

..

src/main/java/io/onedev/server/plugin/executor/serverdocker

Bump version to 7.5.2

2022-09-17 06:45:01 +08:00

pom.xml

Fix issue #927 - Anonymous volume not deleted after build with docker executor

2022-09-17 11:59:12 +08:00