Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature/modernize ci #275

Merged
merged 5 commits into from
Sep 30, 2024
Merged

Feature/modernize ci #275

merged 5 commits into from
Sep 30, 2024

Conversation

mgovers
Copy link
Member

@mgovers mgovers commented Sep 30, 2024

fixes CI

This blocks merging of #274

mgovers and others added 3 commits September 27, 2024 15:51
Signed-off-by: Martijn Govers <[email protected]>
Signed-off-by: Martijn Govers <[email protected]>
Signed-off-by: Martijn Govers <[email protected]>
@mgovers mgovers added the improvement Existing functionality, but better, faster, stronger label Sep 30, 2024
@mgovers mgovers self-assigned this Sep 30, 2024
Copy link

sonarcloud bot commented Sep 30, 2024

@mgovers mgovers enabled auto-merge September 30, 2024 10:58
@mgovers mgovers mentioned this pull request Sep 30, 2024
1 task
@mgovers mgovers added this pull request to the merge queue Sep 30, 2024
Merged via the queue into main with commit cb03804 Sep 30, 2024
25 checks passed
@mgovers mgovers deleted the feature/modernize-ci branch September 30, 2024 11:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
improvement Existing functionality, but better, faster, stronger
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants