Skip to content

Conversation

@netmindz
Copy link
Collaborator

No description provided.

@netmindz netmindz marked this pull request as ready for review July 19, 2023 17:10
@ewoudwijma ewoudwijma merged commit 3bfd8e2 into ewoudwijma:main Jul 19, 2023
@netmindz netmindz deleted the actions branch July 20, 2023 09:29
@netmindz netmindz changed the title Add githut actions file for build Add github actions file for build Jul 20, 2023
@ewowi ewowi mentioned this pull request Aug 16, 2023
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