Skip to content

Feature/248/watchexec - #249

Merged
rultor merged 2 commits into
mainfrom
feature/248/watchexec
Aug 22, 2026
Merged

Feature/248/watchexec#249
rultor merged 2 commits into
mainfrom
feature/248/watchexec

Conversation

@RoRoche

@RoRoche RoRoche commented Aug 22, 2026

Copy link
Copy Markdown
Owner

Fixes #248

@sonarqubecloud

Copy link
Copy Markdown

@RoRoche

RoRoche commented Aug 22, 2026

Copy link
Copy Markdown
Owner Author

@rultor merge

@rultor

rultor commented Aug 22, 2026

Copy link
Copy Markdown
Collaborator

@rultor merge

@RoRoche OK, I'll try to merge now. You can check the progress of the merge here.

@RoRoche

RoRoche commented Aug 22, 2026

Copy link
Copy Markdown
Owner Author

@rultor merge

@rultor
rultor merged commit 4d8783e into main Aug 22, 2026
5 checks passed
@rultor
rultor deleted the feature/248/watchexec branch August 22, 2026 10:55
@rultor

rultor commented Aug 22, 2026

Copy link
Copy Markdown
Collaborator

@rultor merge

@RoRoche Done! FYI, the full log is here (took me 3min).

@rultor

rultor commented Aug 22, 2026

Copy link
Copy Markdown
Collaborator

@rultor merge

@RoRoche The pull request is closed already, so I can't merge it.

@rultor

rultor commented Aug 22, 2026

Copy link
Copy Markdown
Collaborator

@rultor merge

@RoRoche I'm sorry, I don't understand you :( Check this page and try again, please.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Integrate watchexec

2 participants