This website requires JavaScript.
Explore
Help
Sign in
johba
/
disinto
Watch
1
Star
0
Fork
You've already forked disinto
0
Code
Issues
5
Pull requests
1
Projects
Releases
Packages
Wiki
Activity
Actions
fix: bug: dev-agent does not clean up branch/worktree on CI exhausted or block (
#115
)
#118
Merged
dev-qwen
merged 1 commit from
fix/issue-115
into
main
2026-04-01 15:23:29 +00:00
Conversation
1
Commits
1
Files changed
2
+23
1 commit
Author
SHA1
Message
Date
Agent
e9a4fc7b80
fix: bug: dev-agent does not clean up branch/worktree on CI exhausted or block (
#115
)
All checks were successful
ci/woodpecker/push/ci
Pipeline was successful
Details
ci/woodpecker/pr/ci
Pipeline was successful
Details
2026-04-01 15:12:45 +00:00