Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ci: migrate to github actions #92

Merged
merged 9 commits into from
Jul 19, 2024
Merged

ci: migrate to github actions #92

merged 9 commits into from
Jul 19, 2024

Conversation

HJunyuan
Copy link
Member

What does this PR do?

Migrate from CircleCI to GitHub Actions workflow

@HJunyuan HJunyuan merged commit 29bf76f into master Jul 19, 2024
5 checks passed
@HJunyuan HJunyuan deleted the ci/github-actions branch July 19, 2024 09:28
Copy link

🎉 This PR is included in version 1.21.1 🎉

The release is available on:

Your semantic-release bot 📦🚀

Comment on lines +33 to +34
- name: Validate PR commits with commitlint
run: npx commitlint --from ${{ github.event.pull_request.base.sha }} --to ${{ github.event.pull_request.head.sha }} --verbose

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Since we squash most of our PRs, should we commit lint the title of the PR instead of the individual commits, which will be squashed anyway? The title of the PR will be the committed name that will eventually be on the actual history.😅

I think we can keep what you have. If we want to lint the PR title, we can make use of github.event.pull_request.title and pass it to commitlint.

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oops... I just realise this PR has been merged. It's ok, just a small thing. haha

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.

2 participants