Skip to content

Update docker-for-utbot-java.md #1930

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

Merged
merged 1 commit into from
Mar 13, 2023

Conversation

Vassiliy-Kudryashov
Copy link
Member

@Vassiliy-Kudryashov Vassiliy-Kudryashov commented Mar 13, 2023

Title

Update documentation for updated docker image

Description

We have new version of Docker image to be used in CI. Old one (with Java 11) still exists and can be used if need. Documentation has been updates according to new docker image name.

How to test

Manual tests

Preview docker-for-utbot-java.md in IntelliJ IDEA is the simplest way to test changes and the whole text/markup.

Self-check list

Please do not delete the list or its items.

  • I've set the proper labels for my PR (at least, for category and component).
  • PR title and description are clear and intelligible.
  • I've added enough comments to my code, particularly in hard-to-understand areas.
  • The functionality I've repaired, changed or added is covered with automated tests.
  • Manual tests have been provided optionally.
  • The documentation for the functionality I've been working on is up-to-date.

Update documentation for updated docker image
@Vassiliy-Kudryashov Vassiliy-Kudryashov added the spec-internal Internal issue label Mar 13, 2023
@olganaumenko olganaumenko added ctg-documentation Improvements or additions to documentation comp-infrastructure Infrastructure issues labels Mar 13, 2023
Copy link
Collaborator

@olganaumenko olganaumenko 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

@Vassiliy-Kudryashov Vassiliy-Kudryashov enabled auto-merge (squash) March 13, 2023 09:00
@Vassiliy-Kudryashov Vassiliy-Kudryashov merged commit b37bb8e into main Mar 13, 2023
@Vassiliy-Kudryashov Vassiliy-Kudryashov deleted the Vassiliy-Kudryashov-patch-1 branch March 13, 2023 09:09
CaelmBleidd pushed a commit that referenced this pull request Mar 14, 2023
Update documentation for updated docker image
tamarinvs19 pushed a commit that referenced this pull request Mar 15, 2023
Update documentation for updated docker image
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
comp-infrastructure Infrastructure issues ctg-documentation Improvements or additions to documentation spec-internal Internal issue
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants