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.

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

Mnaranjo/pitest #1

Merged
merged 15 commits into from
Mar 12, 2024
Merged

Mnaranjo/pitest #1

merged 15 commits into from
Mar 12, 2024

Conversation

manuelnaranjo
Copy link
Member

adding implementation

@manuelnaranjo
cleanup: rules doesn't need any toolchains
75adb6d
@manuelnaranjo
progress
c937531 
adding java_binary for pitest
adding sources for tests from upstream pitest
adding maven dependencies
@manuelnaranjo
drop pom.xml
f8e3381
@manuelnaranjo
bazel: adding buildifier
f91cebc 
Now buildifier is part of the repo
@manuelnaranjo
adding maven_install for e2e
ad7a8ec 
Updating e2e maven_install
@manuelnaranjo
bazel: making progress with the rules
841621b
@manuelnaranjo
bazel: further progress on the rule
cf52b22 
* adding rule to extract class files from built jar
* adding gazelle java generation
* mutate passes but logs are not collected
@manuelnaranjo
bazel: ignore bzlmod lock file
66508ea
@manuelnaranjo
bazel: apply buildifier
9cb6aba 
* documenting arguments and modules as well
@manuelnaranjo
bazel: fix docs
b39d637 
Now the docs can be updated
@manuelnaranjo
bazel: adding wrapper for pitest
c382160 
We need to wrap the pitest entry point to substite environmental variables
@manuelnaranjo
bazel: allow configuring the alias to the repo
c9116d6
@manuelnaranjo
More changes
9bd3fdc 
* updating docs
* updating WORKSPACE for non bzlmod
@manuelnaranjo
bazel: fix for non bzlmod
0413c53 
Now the repository should work in non bzlmod setup
@manuelnaranjo
ci: ignore certain configs
e1756f6 
* rules_jvm_external with bzlmod requires bazel 7
@manuelnaranjo manuelnaranjo enabled auto-merge March 12, 2024 11:51
@manuelnaranjo manuelnaranjo disabled auto-merge March 12, 2024 11:55
@manuelnaranjo manuelnaranjo added this pull request to the merge queue Mar 12, 2024
github-merge-queue bot pushed a commit that referenced this pull request Mar 12, 2024
@manuelnaranjo
Merge pull request #1 from bookingcom/mnaranjo/pitest
7544d8c 
Mnaranjo/pitest
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to Branch Protection failures Mar 12, 2024
You're not authorized to push to this branch. Visit "About protected branches" for more information.
@manuelnaranjo manuelnaranjo merged commit dc0c36f into main Mar 12, 2024
7 checks passed
@manuelnaranjo manuelnaranjo deleted the mnaranjo/pitest branch March 12, 2024 11:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tharakadesilva tharakadesilva tharakadesilva approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@manuelnaranjo @tharakadesilva