Skip to content

Remove Circle CI configuration#456

Merged
frederikprijck merged 2 commits intomasterfrom
chore/remove-circle
Nov 9, 2023
Merged

Remove Circle CI configuration#456
frederikprijck merged 2 commits intomasterfrom
chore/remove-circle

Conversation

@frederikprijck
Copy link
Contributor

No description provided.

@frederikprijck frederikprijck requested a review from a team as a code owner November 9, 2023 13:42
@frederikprijck frederikprijck merged commit 130631e into master Nov 9, 2023
@frederikprijck frederikprijck deleted the chore/remove-circle branch November 9, 2023 14:24
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.

2 participants