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

[150] Add a GitHub Action to run CI for PR's and pushes. #369

Merged
merged 1 commit into from
Jan 22, 2024

Conversation

jamezp
Copy link
Contributor

@jamezp jamezp commented Jan 21, 2024

resolves #150

This should likely be merged after #368

pom.xml Outdated
<parent>
<groupId>org.eclipse.microprofile</groupId>
<artifactId>microprofile-parent</artifactId>
<version>2.6</version>
</parent>
<version>3.1</version>
Copy link
Member

Choose a reason for hiding this comment

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

Suggested change
<version>3.1</version>
<version>3.2</version>

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Thank you, sorry I missed that. I've updated #368. We can either go with #368 first or I can combine them here. I'm okay either way.

Copy link
Member

Choose a reason for hiding this comment

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

I approved the PR #368 . I think we can merge that one first and then you can rebase. What do you think?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

+1, once that is merged I'll get this one updated and it will only contain the workflow file.

Copy link
Member

Choose a reason for hiding this comment

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

#368 was merged.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Thank you! I've updated this commit and made it a PR.

@jamezp jamezp marked this pull request as ready for review January 22, 2024 17:50
Copy link
Member

@Emily-Jiang Emily-Jiang left a comment

Choose a reason for hiding this comment

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

LGTM! Thanks @jamezp

@Emily-Jiang Emily-Jiang merged commit 01d9b1e into microprofile:main Jan 22, 2024
1 check passed
@jamezp jamezp deleted the issue150 branch January 22, 2024 22:21
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.

Add CI server checks for PR's
2 participants