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: Add a github actions workflow for lint #1257

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

utam0k
Copy link
Member

@utam0k utam0k commented Jun 16, 2024

schema/defs.json Outdated Show resolved Hide resolved
@utam0k utam0k force-pushed the ci-lint branch 2 times, most recently from 9a08129 to be9bc85 Compare June 16, 2024 12:11
@utam0k utam0k requested a review from AkihiroSuda June 16, 2024 12:12
@AkihiroSuda AkihiroSuda added this to the v1.2.1 (tentative) milestone Jun 16, 2024
Comment on lines 31 to 36
if [[ -n $(git status --porcelain) ]]; then
echo "There are unformatted files."
exit 1
else
echo "All files are properly formatted."
fi
Copy link
Contributor

Choose a reason for hiding this comment

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

Perhaps it's better to replace this with git diff --exit-code, which will show what's wrong and make the CI fail, too.

Copy link
Member Author

Choose a reason for hiding this comment

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

Signed-off-by: utam0k <k0ma@utam0k.jp>
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.

None yet

3 participants