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

maven build, system reqs, docker version badge #15

Merged
merged 2 commits into from
Mar 27, 2024
Merged

maven build, system reqs, docker version badge #15

merged 2 commits into from
Mar 27, 2024

Conversation

h1alexbel
Copy link
Contributor

@h1alexbel h1alexbel commented Mar 27, 2024


PR-Codex overview

The focus of this PR is to update the README.md file with new badges and instructions for running a Maven build.

Detailed summary

  • Added Docker badge with link to the Docker repository
  • Updated build instructions to use Maven instead of Gradle
  • Added a note specifying the required versions of Maven and Java

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

Copy link

codecov bot commented Mar 27, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 0.00%. Comparing base (7132568) to head (26aaefe).
Report is 3 commits behind head on master.

Additional details and impacted files
@@          Coverage Diff           @@
##           master     #15   +/-   ##
======================================
  Coverage    0.00%   0.00%           
======================================
  Files           1       1           
  Lines           4       4           
======================================
  Misses          4       4           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@h1alexbel h1alexbel changed the title maven build, system reqs maven build, system reqs, docker version badge Mar 27, 2024
@h1alexbel
Copy link
Contributor Author

@rultor merge

@rultor
Copy link
Collaborator

rultor commented Mar 27, 2024

@rultor merge

@h1alexbel OK, I'll try to merge now. You can check the progress of the merge here

@rultor rultor merged commit 92b3b5e into master Mar 27, 2024
6 checks passed
@rultor
Copy link
Collaborator

rultor commented Mar 27, 2024

@rultor merge

@h1alexbel Done! FYI, the full log is here (took me 2min)

@h1alexbel h1alexbel deleted the docker.io branch March 27, 2024 15:12
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.

2 participants