onedev/server-plugin-executor-servershell at 7388f665d75c8c6cd20d30579c7afc280e5fe83c - 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 7388f665d7 Fix a minor issue of sending duplicate thread interruption when running server step

2023-01-14 16:55:16 +08:00

..

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

Fix a minor issue of sending duplicate thread interruption when running server step

2023-01-14 16:55:16 +08:00

pom.xml

Bump version to 7.9.4

2023-01-13 07:31:58 +08:00