Skip to content

Move to using GitHub workflows#943

Merged
gajus merged 5 commits intomainfrom
gajus/use-github-workflow
Jan 18, 2023
Merged

Move to using GitHub workflows#943
gajus merged 5 commits intomainfrom
gajus/use-github-workflow

Conversation

@gajus
Copy link
Copy Markdown
Owner

@gajus gajus commented Jan 18, 2023

No description provided.

@gajus gajus merged commit 1806f8c into main Jan 18, 2023
@github-actions
Copy link
Copy Markdown

🎉 This PR is included in version 39.6.5 🎉

The release is available on:

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant