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.

Sign up for GitHub

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

Jump to bottom

ci: check dist matches #7

Merged

onbjerg merged 2 commits into master from onbjerg/check-dist

May 10, 2022

Member

onbjerg commented May 10, 2022

A continuation of #6 that checks if dist matches (i.e. checks if the PR submitter ran npm run build)

onbjerg added 2 commits

May 10, 2022 15:10


          ci: check dist matches

5368b19


          ci: nit

2d1be7c

onbjerg merged commit ca785c3 into master

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

Labels

None yet