Skip to content

Conversation

@Mic92
Copy link
Owner

@Mic92 Mic92 commented Oct 9, 2024

No description provided.

@Mic92 Mic92 added the merge-queue merge after ci succeeds label Oct 9, 2024
@Mic92 Mic92 force-pushed the joerg-ci branch 2 times, most recently from b187634 to c4ea2f2 Compare October 9, 2024 08:54
@Mic92
Copy link
Owner Author

Mic92 commented Oct 9, 2024

@mergify refresh

@mergify
Copy link
Contributor

mergify bot commented Oct 9, 2024

refresh

✅ Pull request refreshed

@Mic92 Mic92 merged commit fdf86eb into master Oct 9, 2024
3 of 5 checks passed
@Mic92 Mic92 deleted the joerg-ci branch October 9, 2024 09:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge-queue merge after ci succeeds

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant