Skip to content

Migrate CI to GitHub Actions#56

Merged
mroth merged 17 commits intomasterfrom
github-actions
Dec 5, 2021
Merged

Migrate CI to GitHub Actions#56
mroth merged 17 commits intomasterfrom
github-actions

Conversation

@mroth
Copy link
Owner

@mroth mroth commented Dec 5, 2021

No description provided.

@mroth mroth merged commit 92aa7ea into master Dec 5, 2021
@mroth mroth deleted the github-actions branch December 5, 2021 17:18
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.

1 participant