Skip to content
New issue

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

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

Already on GitHub? # to your account

Fix the Lint Errors, Re-enable Tests for PRs #528

Merged
merged 3 commits into from
Jul 6, 2024
Merged

Fix the Lint Errors, Re-enable Tests for PRs #528

merged 3 commits into from
Jul 6, 2024

Conversation

danyeaw
Copy link
Member

@danyeaw danyeaw commented Jul 2, 2024

In #527, we realized that lint and tests stages aren't running for PRs. This PR fixes lint errors introduced in that PR and the one before it, re-enables CI/CD for PRs, and updates dependencies.

PR Checklist

Please check if your PR fulfills the following requirements:

PR Type

What kind of change does this PR introduce?

  • Bugfix
  • Feature
  • Code style update (formatting, local variables)
  • Refactoring (no functional changes, no api changes)
  • Documentation content changes

What is the current behavior?

Build is failing

Issue Number: N/A

What is the new behavior?

Build is passing

Does this PR introduce a breaking change?

  • Yes
  • No

Other information

@danyeaw danyeaw requested a review from amolenaar July 2, 2024 11:22
Copy link
Member

@amolenaar amolenaar left a comment

Choose a reason for hiding this comment

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

Looks good.

One thing I noticed on Gaphor, which uses the same build triggers, is that it's hard to build something on a fork. Normally forks do not build at all, until you create a PR.

There's no rule that says forks should build on push, maybe we should simplify and pnly build on push, not on pull_request?

@danyeaw
Copy link
Member Author

danyeaw commented Jul 2, 2024

Hi @amolenaar, I think if we only build on push and not on pull request, then it won't trigger for users who can't create a branch of our main repo.

If we build on both push and to a pull request, then we'll have double the builds for every push with a pull request.

@danyeaw danyeaw merged commit c1d46cf into main Jul 6, 2024
12 checks passed
@danyeaw danyeaw deleted the fix-lint branch July 6, 2024 18:03
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants