Skip to content

Conversation

@deckdom
Copy link
Collaborator

@deckdom deckdom commented Jul 2, 2024

Fixing building issues in the CI

@deckdom deckdom merged commit 2a0a738 into dev Jul 2, 2024
@deckdom deckdom deleted the dev-ci-building branch July 2, 2024 12:33
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