Skip to content

Conversation

@skadge
Copy link
Contributor

@skadge skadge commented Dec 10, 2024

While here, clean up CI/CD script a little

While here, clean up CI/CD script a little
@JamesMcCrae
Copy link
Owner

With pull request #20 merged (and specifically dd0320b), can this request be closed?

@skadge
Copy link
Contributor Author

skadge commented Dec 15, 2024

indeed, not needed anymore. Closing

@skadge skadge closed this Dec 15, 2024
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