Skip to content

Switch CI badge to GitHub Actions#54

Merged
excid3 merged 1 commit intomasterfrom
github-actions
Aug 15, 2022
Merged

Switch CI badge to GitHub Actions#54
excid3 merged 1 commit intomasterfrom
github-actions

Conversation

@excid3
Copy link
Copy Markdown
Collaborator

@excid3 excid3 commented Aug 15, 2022

No description provided.

@excid3 excid3 merged commit ed18186 into master Aug 15, 2022
@excid3 excid3 deleted the github-actions branch August 15, 2022 19:05
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