Skip to content

Conversation

@dannywillems
Copy link
Member

No description provided.

@dannywillems dannywillems force-pushed the dw/remove-old-ci-configs branch 2 times, most recently from a0cd223 to 4c39df3 Compare July 16, 2025 09:36
@dannywillems dannywillems force-pushed the dw/remove-old-ci-configs branch 3 times, most recently from 7c2af39 to d818687 Compare July 16, 2025 09:45
@dannywillems dannywillems changed the base branch from dw/add-makefile to develop July 16, 2025 09:46
@dannywillems dannywillems requested a review from 0xMimir July 16, 2025 09:46
@dannywillems dannywillems force-pushed the dw/remove-old-ci-configs branch from d818687 to c7ccca6 Compare July 16, 2025 10:23
@dannywillems dannywillems merged commit ee4f125 into develop Jul 16, 2025
31 checks passed
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.

3 participants